Tree @master (Download .tar.gz)
History of
Defs.hs
@master
git clone https://code.lukegrehan.com/lambda/
- fixed name resolution 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
- added basic defns Luke Grehan 11 years ago
- refactor 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