Tree @master (Download .tar.gz)
History of
Eval.hs
@master
git clone https://code.lukegrehan.com/lambda/
- '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
- fixed beta reduction on abstraction Luke Grehan 11 years ago
- more parser issues 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
- refactor Luke Grehan 11 years ago