lambda-calculus

A lambda-calculus DSL in Racket

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, April 25th, 2020 12:40:14pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/oransimhony/lambda-calculus.gitfd13e81f1df22fc9044f0cdcd1cead8504d335d8
Last checkedMonday, June 1st, 2020 1:57:27am (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/lc-test.rkt
  • lambda-calculus/parser.rkt
  • lambda-calculus/expander.rkt
  • lambda-calculus/main.rkt
  • lambda-calculus/reader.rkt
  • lambda-calculus/lexer.rkt
  • lambda-calculus/scribblings/lambda-calculus.scrbl