play

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

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedTuesday, June 18th, 2019 4:54:33pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
1.1https://github.com/pleiad/play.git#34a145ffb815110bec33a48004e8897e48d11f5134a145ffb815110bec33a48004e8897e48d11f51
1.0https://github.com/pleiad/play.git#3c2c1af69087e9190a711df1577cf0e842fecac23c2c1af69087e9190a711df1577cf0e842fecac2
defaulthttps://github.com/pleiad/play.git34a145ffb815110bec33a48004e8897e48d11f51
Last checkedSaturday, August 17th, 2019 9:53:39am (UTC)
Last editedTuesday, June 18th, 2019 4:58:12pm (UTC)
Date addedTuesday, June 18th, 2019 4:54:33pm (UTC)
Modules
  • play/lang/reader.rkt
  • scribblings/main.scrbl
  • play/parsers.rkt
  • play/defmac.rkt
  • play/main.rkt
  • scribblings/intl.rkt
  • play/redex.rkt
  • scribblings/play.scrbl