plai-typed

The `plai-typed' language for use with Programming Languages: Application and Interpretation, Second Edition

Build status: ok passing tests missing license metadata

Documentation Download
Authors
Documentation
Tags
License
    Last updatedTuesday, January 9th, 2024 1:17:51pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/mflatt/plai-typed.git#master07fd70cdf2678bc27e4d95346a7d5a2906410f99
    5.3.5https://github.com/mflatt/plai-typed.git#no-depse11e7e4cd655b958296055f490ea8eadf5ea5ce7
    5.3.6https://github.com/mflatt/plai-typed.git#no-depse11e7e4cd655b958296055f490ea8eadf5ea5ce7
    8.2https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
    8.3https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
    8.4https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
    8.5https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
    8.6https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
    Last checkedSaturday, November 1st, 2025 5:54:00pm (UTC)
    Last editedWednesday, December 14th, 2022 1:10:49am (UTC)
    Date addedWednesday, December 14th, 2022 1:10:49am (UTC)
    Modules
    • plai-typed/tests/ta-scope.rkt
    • plai-typed/tests/submod2.rkt
    • plai-typed/tests/use-typed-basic.rkt
    • plai-typed/tests/submod3.rkt
    • plai-typed/tests/repl.rkt
    • plai-typed/private/types.rkt
    • plai-typed/tests/hygiene.rkt
    • plai-typed/private/s-exp.rkt
    • plai-typed/tests/basic.rkt
    • plai-typed/tests/submod.rkt
    • plai-typed/tests/parse.rkt
    • plai-typed/plai-typed.scrbl
    • plai-typed/tests/untyped.rkt
    • plai-typed/main.rkt
    • plai-typed/private/collapse.rkt
    • plai-typed/tests/rename.rkt
    • plai-typed/untyped.scrbl
    • plai-typed/tests/untyped-use-untyped.rkt
    • plai-typed/tests/synerror.rkt
    • plai-typed/tests/use-basic.rkt
    • plai-typed/tests/use-untyped.rkt
    • plai-typed/tests/values.rkt
    • plai-typed/private/fixup-quote.rkt
    • plai-typed/untyped.rkt