play

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

Build status: ok failing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, May 21st, 2024 2:19:11am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/pleiad/play.git4ab35fa8ffbeb3a074af3c59e4accba9b762234f
1.1https://github.com/pleiad/play.git#34a145ffb815110bec33a48004e8897e48d11f5134a145ffb815110bec33a48004e8897e48d11f51
1.0https://github.com/pleiad/play.git#3c2c1af69087e9190a711df1577cf0e842fecac23c2c1af69087e9190a711df1577cf0e842fecac2
1.2https://github.com/pleiad/play.git#4ab35fa8ffbeb3a074af3c59e4accba9b762234f4ab35fa8ffbeb3a074af3c59e4accba9b762234f
Last checkedFriday, June 14th, 2024 6:02:45pm (UTC)
Last editedTuesday, May 21st, 2024 2:12:39am (UTC)
Date addedTuesday, June 18th, 2019 4:54:33pm (UTC)
Modules
  • play/lang/reader.rkt
  • play/defmac.rkt
  • play/parsers.rkt
  • scribblings/intl.rkt
  • scribblings/main.scrbl
  • play/redex.rkt
  • scribblings/play.scrbl
  • play/main.rkt