-
- Downloads
better extraction of sets (no more import statement required) and stub for option types and more
Showing
- src/funcheck/CodeExtraction.scala 28 additions, 3 deletionssrc/funcheck/CodeExtraction.scala
- src/funcheck/Extractors.scala 14 additions, 11 deletionssrc/funcheck/Extractors.scala
- src/funcheck/Main.scala 1 addition, 1 deletionsrc/funcheck/Main.scala
- src/purescala/PrettyPrinter.scala 12 additions, 0 deletionssrc/purescala/PrettyPrinter.scala
- src/purescala/Trees.scala 4 additions, 2 deletionssrc/purescala/Trees.scala
- src/purescala/TypeTrees.scala 4 additions, 4 deletionssrc/purescala/TypeTrees.scala
Loading
Please register or sign in to comment