pie

The Pie language, used in The Little Typer

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, December 4th, 2018 6:02:41am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/the-little-typer/pie.git073dfc70d7edd93bd82305810944afc486b12f1b
Last checkedSunday, December 16th, 2018 11:46:45pm (UTC)
Last editedFriday, January 5th, 2018 4:55:54pm (UTC)
Modules
  • pie/pie-info.rkt
  • pie/main.rkt
  • pie/parser.rkt
  • pie/show-goal.rkt
  • pie/typechecker.rkt
  • pie/pie.scrbl
  • pie/alpha.rkt
  • pie/resugar.rkt
  • pie/test-todo-output.rkt
  • pie/pie-err.rkt
  • pie/gui/pie-styles.rkt
  • pie/pretty.rkt
  • pie/normalize.rkt
  • pie/rep.rkt
  • pie/tooltip.rkt
  • pie/serialization.rkt
  • pie/basics.rkt
  • pie/tests.rkt
  • pie/gui/main.rkt
  • pie/gui/print-gui.rkt
  • pie/fresh.rkt
  • pie/gui/pie-lexer.rkt
  • pie/locations.rkt
  • pie/interactive-editing.rkt
  • pie/slideshow.rkt