lambda-calculus

A lambda-calculus DSL in Racket

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, April 15th, 2019 12:35:17pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/oransimhony/lambda-calculus.git0ab5385e374699650cfeff8c73df27c081a6f4e3
Last checkedSunday, April 21st, 2019 8:04:34am (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/parser.rkt
  • lambda-calculus/expander.rkt
  • lambda-calculus/main.rkt
  • lambda-calculus/reader.rkt
  • lambda-calculus/identity.rkt
  • lambda-calculus/lexer.rkt
  • lambda-calculus/scribblings/lambda-calculus.scrbl