Tree @fb38023 (Download .tar.gz)
History of
impl
@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