lambda-calculus

A lambda-calculus DSL in Racket

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, April 25th, 2019 2:03:40pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/oransimhony/lambda-calculus.gitc82dcd80f609fbc905670b9fec12c0c955d73778
Last checkedMonday, October 21st, 2019 9:17:33am (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