Tree @master (Download .tar.gz)
History of
src
/
eqthy
/
scanner.py
@master
git clone https://git.catseye.tc/Eqthy/
- Update copyright year and run `reuse lint` as part of the test. Chris Pressey a month ago
- Raise a syntax error if axioms (or anything else) follow a theorem. Chris Pressey a month ago
- Bump version number. Chris Pressey a month ago
- flake8 Chris Pressey a month ago
- Make scanner pass strict mypy check. Chris Pressey a month ago
- Begin adding some type annotations. Refactor Term type. Chris Pressey a month ago
- Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 3 months ago
- Parse all defined hints, stub out logic for following them. Chris Pressey 1 year, 8 months ago
- Some rudimentary tests for parsing. Chris Pressey 1 year, 8 months ago
- Initial import of files for Eqthy -- work in progress. Chris Pressey 1 year, 9 months ago