verse-calculus-redex

Build status: ok passing tests valid license

Documentation README Download
Authors
Documentation
Tags
    License
    Language familiesRacket
    Last updatedWednesday, June 10th, 2026 10:41:32am (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Build platformsany platform
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/dannypsnl/verse-calculus-redex.git3e96a9bfaf1e137f88443a63c4e3ebe993a7a4da
    Last checkedWednesday, June 10th, 2026 7:33:41pm (UTC)
    Last editedWednesday, June 10th, 2026 10:45:39am (UTC)
    Date addedWednesday, June 10th, 2026 10:41:32am (UTC)
    Modules
    • verse-calculus-redex/traces/programs.rkt
    • verse-calculus-redex/test/rules-unify-test.rkt
    • verse-calculus-redex/test/pretty-test.rkt
    • verse-calculus-redex/scribblings/if-then-else.scrbl
    • verse-calculus-redex/test/trace-pict-test.rkt
    • verse-calculus-redex/scribblings/opening.scrbl
    • verse-calculus-redex/test/rules-norm-test.rkt
    • verse-calculus-redex/metafns.rkt
    • verse-calculus-redex/scribblings/verse-calculus-redex.scrbl
    • verse-calculus-redex/test/typeset-test.rkt
    • verse-calculus-redex/grammar.rkt
    • verse-calculus-redex/test/metafns-side-test.rkt
    • verse-calculus-redex/test/grammar-test.rkt
    • verse-calculus-redex/test/paths-test.rkt
    • verse-calculus-redex/scribblings/residuation.scrbl
    • verse-calculus-redex/traces/trace-lib.rkt
    • verse-calculus-redex/test/rules-app-test.rkt
    • verse-calculus-redex/test/rules-swap-test.rkt
    • verse-calculus-redex/scribblings/traces.scrbl
    • verse-calculus-redex/trace-pict.rkt
    • verse-calculus-redex/stepper.rkt
    • verse-calculus-redex/scribblings/calculus.scrbl
    • verse-calculus-redex/typeset.rkt
    • verse-calculus-redex/traces/paths.rkt
    • verse-calculus-redex/test/metafns-build-test.rkt
    • verse-calculus-redex/test/rules-elim-test.rkt
    • verse-calculus-redex/rules.rkt
    • verse-calculus-redex/test/trace-lib-test.rkt
    • verse-calculus-redex/test/eval-test.rkt
    • verse-calculus-redex/test/programs-test.rkt
    • verse-calculus-redex/test/examples-test.rkt
    • verse-calculus-redex/scribblings/first.scrbl
    • verse-calculus-redex/eval.rkt
    • verse-calculus-redex/test/stepper-test.rkt
    • verse-calculus-redex/test/confluence-test.rkt
    • verse-calculus-redex/main.rkt
    • verse-calculus-redex/pretty.rkt
    • verse-calculus-redex/test/var-order-test.rkt
    • verse-calculus-redex/test/rules-choice-test.rkt
    • verse-calculus-redex/scribblings/tuple-indexing.scrbl
    • verse-calculus-redex/test/metafns-fvs-test.rkt