History of
impl
@master
git clone https://git.catseye.tc/Lariat/
-
Arrange licensing info in repo following REUSE 3.0 convention.
Chris Pressey
3 months ago
-
Now `equal` is not an exposed operation either.
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
-
Make the tests runnable under Hugs.
Chris Pressey
1 year, 7 months ago
-
Rewrite the tests so that they can be run in an automated way.
Chris Pressey
1 year, 7 months ago
-
Fix bug in reduceOnce.
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
-
Extend the example cases.
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
-
Add test cases for reduceOnce.
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 "beta-reduce a term" and improve tests.
Chris Pressey
2 years ago
-
Implement the "contains a free variable named _j_" example.
Chris Pressey
2 years ago
-
Add name supply code in Haskell implementation.
Chris Pressey
2 years ago
-
Link implementation to documentation.
Chris Pressey
2 years ago
-
Implement `resolve`.
Chris Pressey
2 years ago
-
Implement `freevars`.
Chris Pressey
2 years ago
-
Implement `destruct`.
Chris Pressey
2 years ago
-
Implement `abs`.
Chris Pressey
2 years ago
-
Skeleton of an implementation in Haskell.
Chris Pressey
2 years ago