pie

The Pie language, used in The Little Typer

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, October 11th, 2018 2:19:28pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/the-little-typer/pie.git1e503614b0129d683179641f7aa35eed75951b45
Last checkedMonday, October 22nd, 2018 3:15:31pm (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