envlang

Prototype of a proof-of-concept for a language with first-class environments.

Build status: ok dependency problems failing tests missing license metadata

Documentation Download
Authors
Documentation
Tags
License
    Language familiesRacket
    Last updatedThursday, August 6th, 2026 1:27:40am (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Build platformsany platform
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://envlang-racket-git.suzanne.soy/envlang-racket.git#mainb9cb385c28efa7ea3c55ebe6fedabf49034a53ae
    Last checkedTuesday, August 18th, 2026 4:27:32pm (UTC)
    Last editedFriday, February 13th, 2026 6:11:08pm (UTC)
    Date addedTuesday, March 25th, 2025 1:45:58am (UTC)
    Modules
    • envlang/test-rkt.rkt
    • envlang/scribblings/envlang.scrbl
    • envlang/test-tiny.hl.rkt
    • envlang/tiny.rkt
    • envlang/racket-utils.rkt
    • envlang/demo2-rkt.hl.rkt
    • envlang/test-tiny.rkt
    • envlang/envlang-rkt-for-test.rkt
    • envlang/rkt.rkt
    • envlang/envlang.rkt
    • envlang/demo-rkt.hl.rkt