History of
src
/
eqthy
/
parser.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
2 months ago
-
Begin adding some type annotations. Refactor Term type.
Chris Pressey
2 months ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
3 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 1 month ago
-
Refactor into `objects` module, and small flake8 cleanups.
Chris Pressey
1 year, 1 month ago
-
Embed Eqthy documents in Markdown documents.
Chris Pressey
1 year, 3 months ago
-
Use consistent terminology.
Chris Pressey
1 year, 6 months ago
-
Change how rules are stored. Add narrow_rule_search method.
Chris Pressey
1 year, 6 months ago
-
Stricter syntax for Substitution and Congruence.
Chris Pressey
1 year, 7 months ago
-
Parse all defined hints, stub out logic for following them.
Chris Pressey
1 year, 8 months ago
-
Consistentify nomenclature: {Program, Source} => Development
Chris Pressey
1 year, 8 months ago
-
Add a test case, fix a bug.
Chris Pressey
1 year, 8 months ago
-
Partial support for hints.
Chris Pressey
1 year, 8 months ago
-
Axioms and theorems can be given names.
Chris Pressey
1 year, 8 months ago
-
Checkpoint developing all_matches logic.
Chris Pressey
1 year, 8 months ago
-
Render objects readably. Derive first step using Reflexivity.
Chris Pressey
1 year, 9 months ago
-
Fix bug in parser, and make example source parseable.
Chris Pressey
1 year, 9 months ago
-
Initial import of files for Eqthy -- work in progress.
Chris Pressey
1 year, 9 months ago