Tree @master (Download .tar.gz)
lambda
A lazily evaluatated implementation of the lambda calculus with support for user definitions of inline terms.
Grammar
<lambda> -> <definition>*
<definition> -> var ":=" <lambdaTerm>
<lambdaTerm> -> var | <abstraction> | <application>
<abstraction> -> '\' <var> '.' <lambdaTerm>
<application> -> '(' <lambdaTerm> <lambdaTerm> ')'
Commit History
@master
git clone https://code.lukegrehan.com/lambda/
0
»»
- more parser issues Luke Grehan 11 years ago
- fixed parser Luke Grehan 11 years ago
- added new nodes to ast to hopefully remove alpha reduction issue (once parsing allows it) Luke Grehan 11 years ago
- changed reduce Luke Grehan 11 years ago
- cleanup Luke Grehan 11 years ago
- added basic defns Luke Grehan 11 years ago
- input now comes from files Luke Grehan 11 years ago
- parser now constructs an ast Luke Grehan 11 years ago
- refactor Luke Grehan 11 years ago
- basic parsing Luke Grehan 11 years ago
- added bigstep derivations Luke Grehan 11 years ago
- added small step derivations Luke Grehan 11 years ago
- added basic showing Luke Grehan 11 years ago
- added defs module Luke Grehan 11 years ago
- add git ignore Luke Grehan 11 years ago
- added build system Luke Grehan 11 years ago
- init Luke Grehan 11 years ago
0
»»