History of
README.md
@master
git clone https://git.catseye.tc/Lariat/
-
Arrange licensing info in repo following REUSE 3.0 convention.
Chris Pressey
3 months ago
-
Update links.
Chris Pressey
6 months ago
-
Many edits, especially to discussion. Add footnotes section.
Chris Pressey
1 year, 6 months ago
-
Now `equal` is not an exposed operation either.
Chris Pressey
1 year, 6 months ago
-
Add note about where deterministic fresh would be required.
Chris Pressey
1 year, 6 months ago
-
Checkpoint various editing.
Chris Pressey
1 year, 6 months ago
-
Obtaining a fresh name is no longer exposed as an operation.
Chris Pressey
1 year, 7 months ago
-
Develop the algebraic formulation section in the Discussion section.
Chris Pressey
1 year, 7 months ago
-
Rewrites to Discussion section. Break into subsections.
Chris Pressey
1 year, 7 months ago
-
Some discussion re an exercise in "ML for the Working Programmer".
Chris Pressey
1 year, 7 months ago
-
Bump the version number mentioned in the Appendix.
Chris Pressey
1 year, 7 months ago
-
Discuss the algebraic aspect, plus links to more papers.
Chris Pressey
1 year, 7 months ago
-
Implement normalize. Update article; mention ADT totality.
Chris Pressey
1 year, 7 months ago
-
Several (hopefully final-for-0.2) edits for the main README.
Chris Pressey
1 year, 11 months 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
2 years ago
-
More small edits.
Chris Pressey
2 years ago
-
Remove bogon that I would not have caught had I not proofread it.
Chris Pressey
2 years ago
-
Add "Discussion" section and add a certain amount of discussion to it.
Chris Pressey
2 years ago
-
Implemented but untested
Chris Pressey
2 years ago
-
Implement `idBetaReducible` to support the `reduce` example.
Chris Pressey
2 years ago
-
Implement the "contains a free variable named _j_" example.
Chris Pressey
2 years ago