lambda-calculus

A lambda-calculus DSL in Racket

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, September 19th, 2020 6:37:50pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/oransimhony/lambda-calculus.git8b0cb9517873db5bf621f08a0a38314fe7e1c490
Last checkedSaturday, October 24th, 2020 6:29:52am (UTC)
Last editedMonday, April 15th, 2019 12:35:17pm (UTC)
Date addedMonday, April 15th, 2019 12:35:17pm (UTC)
Modules
  • lambda-calculus/reader.rkt
  • lambda-calculus/main.rkt
  • lambda-calculus/lexer.rkt
  • lambda-calculus/expander.rkt
  • lambda-calculus/tokenizer.rkt
  • lambda-calculus/lc-test.rkt
  • lambda-calculus/scribblings/lambda-calculus.scrbl
  • lambda-calculus/parser.rkt