plaitypus

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

Build status: ok passing tests missing license metadata

Documentation Download
Authors
Documentation
Tags
License
    Last updatedTuesday, December 17th, 2019 9:09:52pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/stamourv/plaitypus.gitcebf78ef1dafd5dc93485c41cf7f6eaab3e60efb
    Last checkedThursday, December 4th, 2025 7:54:22pm (UTC)
    Last editedWednesday, August 21st, 2019 6:10:28pm (UTC)
    Date addedWednesday, August 21st, 2019 6:10:28pm (UTC)
    Modules
    • plaitypus/tests/submod3.rkt
    • plaitypus/private/types.rkt
    • plaitypus/tests/rename.rkt
    • plaitypus/tests/basic.rkt
    • plaitypus/private/collapse.rkt
    • plaitypus/untyped.scrbl
    • plaitypus/tests/lec18.rkt
    • plaitypus/tests/untyped-use-untyped.rkt
    • plaitypus/tests/use-basic.rkt
    • plaitypus/tests/implicit-begin.rkt
    • plaitypus/tests/untyped.rkt
    • plaitypus/private/fixup-quote.rkt
    • plaitypus/tests/use-typed-basic.rkt
    • plaitypus/tests/hygiene.rkt
    • plaitypus/plaitypus.scrbl
    • plaitypus/private/s-exp.rkt
    • plaitypus/main.rkt
    • plaitypus/tests/ta-scope.rkt
    • plaitypus/tests/submod2.rkt
    • plaitypus/tests/values.rkt
    • plaitypus/untyped.rkt
    • plaitypus/tests/repl.rkt
    • plaitypus/tests/parse.rkt
    • plaitypus/tests/synerror.rkt
    • plaitypus/tests/submod.rkt
    • plaitypus/tests/use-untyped.rkt