pie

The Pie language, used in The Little Typer

Build status: ok dependency problems passing tests

Authors
Documentation
Tags
Last updatedFriday, May 4th, 2018 12:22:37pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/the-little-typer/pie.git9e0e894acf9ea214e3721ae0765f8ed4b01530f7
Last checkedTuesday, June 19th, 2018 4:45:16am (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