History of
README.md
@master
git clone https://git.catseye.tc/Lariat/
- Arrange licensing info in repo according to REUSE 3.2 convention. Chris Pressey 4 months ago
- Arrange licensing info in repo following REUSE 3.0 convention. Chris Pressey 1 year, 3 days ago
- Update links. Chris Pressey 1 year, 2 months ago
- Many edits, especially to discussion. Add footnotes section. Chris Pressey 2 years ago
- Now `equal` is not an exposed operation either. Chris Pressey 2 years ago
- Add note about where deterministic fresh would be required. Chris Pressey 2 years ago
- Checkpoint various editing. Chris Pressey 2 years ago
- Obtaining a fresh name is no longer exposed as an operation. Chris Pressey 2 years ago
- Develop the algebraic formulation section in the Discussion section. Chris Pressey 2 years ago
- Rewrites to Discussion section. Break into subsections. Chris Pressey 2 years ago
- Some discussion re an exercise in "ML for the Working Programmer". Chris Pressey 2 years ago
- Bump the version number mentioned in the Appendix. Chris Pressey 2 years ago
- Discuss the algebraic aspect, plus links to more papers. Chris Pressey 2 years ago
- Implement normalize. Update article; mention ADT totality. Chris Pressey 2 years ago
- Several (hopefully final-for-0.2) edits for the main README. Chris Pressey 2 years ago
- Edits to README. Chris Pressey 2 years ago
- Make the operations on names, abstract. Chris Pressey 2 years ago
- Implement `resolve` and adjust the unit tests for it. Chris Pressey 2 years ago
- A few small edits. Chris Pressey 2 years ago
- Give an implementation of `resolve`. Chris Pressey 2 years ago
- Checkpoint. Chris Pressey 2 years ago
- Remove `resolve` and `freevars` as it seems we no longer need them. Chris Pressey 2 years ago
- For 0.2: qualified names, name segments, fresh name algorithm. Chris Pressey 2 years ago
- Small edits in preparation for releasing version 0.1. Chris Pressey 2 years ago
- 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