play

Variations on #lang plai, the language that accompanies Krishnamurthi's PLAI book.

Build status: ok dependency problems passing tests

Authors
Documentation
Tags
Last updatedThursday, November 3rd, 2016 9:32:49pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgithub://github.com/pleiad/play/master3c2c1af69087e9190a711df1577cf0e842fecac2
Last checkedMonday, June 26th, 2017 5:09:42am (UTC)
Last editedThursday, November 3rd, 2016 9:33:15pm (UTC)
Modules
  • scribblings/play.scrbl
  • play/parsers.rkt
  • scribblings/intl.rkt
  • play/redex.rkt
  • scribblings/main.scrbl
  • play/main.rkt
  • play/lang/reader.rkt