lambda-calculus

A lambda-calculus DSL in Racket

Build status: ok passing tests

Authors
Documentation
Tags
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 checkedSunday, April 11th, 2021 2:55:19pm (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