Data.Lariat
This is a basic implementation of Lariat in Haskell.
The Main class exists only to run the tests.
TODO:
- Establish a typeclass representing this abstract data type.
History of
impl
/
Haskell
@master
git clone https://git.catseye.tc/Lariat/
- Arrange licensing info in repo according to REUSE 3.2 convention. Chris Pressey 1 year, 11 months ago
- Arrange licensing info in repo following REUSE 3.0 convention. Chris Pressey 2 years ago
- Now `equal` is not an exposed operation either. Chris Pressey 3 years ago
- Add another test case, this one using Church booleans. Chris Pressey 3 years ago
- Add more test cases for `normalize`. Chris Pressey 3 years ago
- Implement normalize. Update article; mention ADT totality. Chris Pressey 3 years ago
- Make the tests runnable under Hugs. Chris Pressey 3 years ago
- Rewrite the tests so that they can be run in an automated way. Chris Pressey 3 years ago
- Fix bug in reduceOnce. Chris Pressey 4 years ago
- Restore the preceding examples/tests. Chris Pressey 4 years ago
- Introduce `Freshable` datatype. Chris Pressey 4 years ago
- Checkpoint. We need a typeclass here. Chris Pressey 4 years ago
- Extend the example cases. Chris Pressey 4 years ago
- Implement `resolve` and adjust the unit tests for it. Chris Pressey 4 years ago
- Implement `freevars` using the abstraction and test it. Chris Pressey 4 years ago
- Begin updating the Haskell implementation to match what's in 0.2. Chris Pressey 4 years ago
- Add test cases for reduceOnce. Chris Pressey 4 years ago
- Implemented but untested Chris Pressey 4 years ago
- Implement `idBetaReducible` to support the `reduce` example. Chris Pressey 4 years ago
- Implement "beta-reduce a term" and improve tests. Chris Pressey 4 years ago
- Implement the "contains a free variable named _j_" example. Chris Pressey 4 years ago
- Add name supply code in Haskell implementation. Chris Pressey 4 years ago
- Link implementation to documentation. Chris Pressey 4 years ago
- Implement `resolve`. Chris Pressey 4 years ago
- Implement `freevars`. Chris Pressey 4 years ago
- Implement `destruct`. Chris Pressey 4 years ago
- Implement `abs`. Chris Pressey 4 years ago
- Skeleton of an implementation in Haskell. Chris Pressey 4 years ago