Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- Add several test cases. Also rewrite the rhs of a step. Chris Pressey 2 years ago
- Fix bug in all_rewrites. All tests pass. flake8. Chris Pressey 2 years ago
- Checkpoint developing all_matches logic. Chris Pressey 2 years ago
- Some rudimentary tests for parsing. Chris Pressey 2 years ago
- Add a rudimentary Falderal test suite with a (failing) test case. Chris Pressey 2 years ago
- Try to rewrite the LHS with every available rule Chris Pressey 2 years ago
- Render objects readably. Derive first step using Reflexivity. Chris Pressey 2 years ago
- Add beginnings of verifier module. Chris Pressey 2 years ago
- Fix bug in parser, and make example source parseable. Chris Pressey 2 years ago
- Initial import of files for Eqthy -- work in progress. Chris Pressey 2 years ago