plaitypus

Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, September 5th, 2019 7:53:39pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/stamourv/plaitypus.git3d9736ea537f8ce5cd66c78472dedfae49317aa0
Last checkedMonday, September 23rd, 2019 2:53:00pm (UTC)
Last editedWednesday, August 21st, 2019 6:10:28pm (UTC)
Date addedWednesday, August 21st, 2019 6:10:28pm (UTC)
Modules
  • plaitypus/tests/use-typed-basic.rkt
  • plaitypus/untyped.scrbl
  • plaitypus/tests/submod2.rkt
  • plaitypus/private/collapse.rkt
  • plaitypus/tests/hygiene.rkt
  • plaitypus/tests/ta-scope.rkt
  • plaitypus/tests/submod.rkt
  • plaitypus/tests/use-untyped.rkt
  • plaitypus/private/fixup-quote.rkt
  • plaitypus/tests/implicit-begin.rkt
  • plaitypus/tests/submod3.rkt
  • plaitypus/plaitypus.scrbl
  • plaitypus/private/types.rkt
  • plaitypus/tests/synerror.rkt
  • plaitypus/tests/repl.rkt
  • plaitypus/tests/rename.rkt
  • plaitypus/private/s-exp.rkt
  • plaitypus/tests/lec18.rkt
  • plaitypus/tests/basic.rkt
  • plaitypus/untyped.rkt
  • plaitypus/main.rkt
  • plaitypus/tests/untyped.rkt
  • plaitypus/tests/parse.rkt
  • plaitypus/tests/use-basic.rkt
  • plaitypus/tests/values.rkt
  • plaitypus/tests/untyped-use-untyped.rkt