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