Tree @fb38023 (Download .tar.gz)
Commit History
@fb380234f6645a6f94d2c8b9cee7cfa810e09ae4
git clone https://git.catseye.tc/Lariat/
- Implemented but untested Chris Pressey 3 years ago
- Implement `idBetaReducible` to support the `reduce` example. Chris Pressey 3 years ago
- Implement "beta-reduce a term" and improve tests. Chris Pressey 3 years ago
- Implement the "contains a free variable named _j_" example. Chris Pressey 3 years ago
- Add name supply code in Haskell implementation. Chris Pressey 3 years ago
- Link implementation to documentation. Chris Pressey 3 years ago
- Implement `resolve`. Chris Pressey 3 years ago
- Implement `freevars`. Chris Pressey 3 years ago
- Implement `destruct`. Chris Pressey 3 years ago
- Implement `abs`. Chris Pressey 3 years ago
- Skeleton of an implementation in Haskell. Chris Pressey 3 years ago
- Fix link to Destructorizers article. Chris Pressey 3 years ago
- Edits. Note that the examples are untested. Chris Pressey 3 years ago
- Add example of searching for reducible subterm and reducing it. Chris Pressey 3 years ago
- Edits Chris Pressey 3 years ago
- Some editing, bringing it closer to what I have in mind. Chris Pressey 3 years ago
- Add initial writeup on Lariat. Chris Pressey 3 years ago