plai-typed

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

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, January 9th, 2024 1:17:51pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
5.3.6https://github.com/mflatt/plai-typed.git#no-depse11e7e4cd655b958296055f490ea8eadf5ea5ce7
8.5https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
8.2https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
8.3https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
5.3.5https://github.com/mflatt/plai-typed.git#no-depse11e7e4cd655b958296055f490ea8eadf5ea5ce7
8.6https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
defaulthttps://github.com/mflatt/plai-typed.git#master07fd70cdf2678bc27e4d95346a7d5a2906410f99
8.4https://github.com/mflatt/plai-typed.git#no-scheme-doc419102db1e44b74dea9daf7a75e9b0e2b9c97d05
Last checkedWednesday, February 21st, 2024 5:38:21pm (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