Commit History
@master
git clone https://git.catseye.tc/Lariat/
- Arrange licensing info in repo according to REUSE 3.2 convention. Chris Pressey 3 months ago
- Arrange licensing info in repo following REUSE 3.0 convention. Chris Pressey 11 months ago
- Place under a 3-clause BSD license. Chris Pressey 1 year, 1 month ago
- Update links. Chris Pressey 1 year, 1 month ago
- Merge pull request #2 from catseye/develop-0.3 Chris Pressey (commit: GitHub) 2 years 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
- Add another test case, this one using Church booleans. Chris Pressey 2 years ago
- Add more test cases for `normalize`. Chris Pressey 2 years ago
- Implement normalize. Update article; mention ADT totality. Chris Pressey 2 years ago
- Test with ghc, or hugs, or both, depending on what's available. Chris Pressey 2 years ago
- Make the tests runnable under Hugs. Chris Pressey 2 years ago
- Rewrite the tests so that they can be run in an automated way. Chris Pressey 2 years ago
- Merge pull request #1 from catseye/develop-0.2 Chris Pressey (commit: GitHub) 2 years ago
- Several (hopefully final-for-0.2) edits for the main README. Chris Pressey 2 years ago
- Fix bug in reduceOnce. Chris Pressey 2 years ago
- Edits to README. Chris Pressey 2 years ago
- Restore the preceding examples/tests. Chris Pressey 2 years ago
- Introduce `Freshable` datatype. Chris Pressey 2 years ago
- Checkpoint. We need a typeclass here. Chris Pressey 2 years ago
- Merge branch 'develop-0.2' into abstract-names Chris Pressey 2 years ago
- Extend the example cases. Chris Pressey 2 years ago