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/
- update readme Luke Grehan 11 years ago
- create readme Luke Grehan 11 years ago
- Merge branch 'master' of https://github.com/lukegrehan/lambda Luke Grehan 11 years ago
- rename example file Luke Grehan 11 years ago
- rename example file Luke Grehan 11 years ago
- 'fixed' name resolution for nested defns. I'll fix this properly later Luke Grehan 11 years ago
- Apps now reduce their args if their head is in (valid) whnf Luke Grehan 11 years ago
- fixed name resolution Luke Grehan 11 years ago
- slightly improved parsing Luke Grehan 11 years ago
- fixed beta reduction on abstraction Luke Grehan 11 years ago