play

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

Build status:

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:57:45pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgithub://github.com/pleiad/play/master3c2c1af69087e9190a711df1577cf0e842fecac2
    Last checkedMonday, February 18th, 2019 12:52:37am (UTC)
    Last editedThursday, November 3rd, 2016 9:33:15pm (UTC)
    Date addedN/A
    Modules
    • scribblings/play.scrbl
    • play/parsers.rkt
    • scribblings/intl.rkt
    • play/redex.rkt
    • scribblings/main.scrbl
    • play/main.rkt
    • play/lang/reader.rkt