lambda-calculus

A lambda-calculus DSL in Racket

Build status: ok dependency problems passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedTuesday, March 30th, 2021 4:10:18pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/oransimhony/lambda-calculus.git9111401749ef9be7f162eec79961b448024522af
    Last checkedFriday, October 24th, 2025 4:43:20pm (UTC)
    Last editedMonday, April 15th, 2019 12:35:17pm (UTC)
    Date addedMonday, April 15th, 2019 12:35:17pm (UTC)
    Modules
    • lambda-calculus/tokenizer.rkt
    • lambda-calculus/scribblings/lambda-calculus.scrbl
    • lambda-calculus/reader.rkt
    • lambda-calculus/expander.rkt
    • lambda-calculus/parser.rkt
    • lambda-calculus/lexer.rkt
    • lambda-calculus/main.rkt
    • lambda-calculus/lc-test.rkt