Commit History
@master
git clone https://git.catseye.tc/Lariat/
- Add test cases for reduceOnce. Chris Pressey 3 years ago
- More small edits. Chris Pressey 3 years ago
- Remove bogon that I would not have caught had I not proofread it. Chris Pressey 3 years ago
- Add "Discussion" section and add a certain amount of discussion to it. Chris Pressey 3 years ago
- 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