Commit History
@master
git clone https://git.catseye.tc/Lariat/
-
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
-
Implement `resolve` and adjust the unit tests for it.
Chris Pressey
1 year, 11 months ago
-
Implement `freevars` using the abstraction and test it.
Chris Pressey
1 year, 11 months ago
-
Begin updating the Haskell implementation to match what's in 0.2.
Chris Pressey
1 year, 11 months ago
-
A few small edits.
Chris Pressey
1 year, 11 months ago
-
Give an implementation of `resolve`.
Chris Pressey
1 year, 11 months ago
-
Checkpoint.
Chris Pressey
1 year, 11 months ago
-
Remove `resolve` and `freevars` as it seems we no longer need them.
Chris Pressey
1 year, 11 months ago
-
For 0.2: qualified names, name segments, fresh name algorithm.
Chris Pressey
1 year, 11 months 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