History of
src
/
eqthy
/
terms.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
-
Bump version number.
Chris Pressey
a month ago
-
All modules now pass strict mypy checking.
Chris Pressey
a month ago
-
Have terms module able to pass strict mypy checking.
Chris Pressey
a month ago
-
Begin adding some type annotations. Refactor Term type.
Chris Pressey
a month ago
-
Replace namedtuples with dataclasses.
Chris Pressey
a month ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
3 months ago
-
fix #5
Proloy Mishra
(commit: Proloy Mishra)
9 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
-
Refactor general-purpose rule-level method out of verifier.
Chris Pressey
1 year, 6 months ago
-
Introduce update_at_index. Finally fix all_rewrites.
Chris Pressey
1 year, 7 months ago
-
Even more checkpointing while hunting down this thing.
Chris Pressey
1 year, 7 months ago
-
Checkpoint fixing subst to support checking Socks and Shoes
Chris Pressey
1 year, 7 months ago
-
Implement Substitution based on hint.
Chris Pressey
1 year, 7 months ago
-
Checkpoint developing all_matches logic.
Chris Pressey
1 year, 8 months ago
-
Try to rewrite the LHS with every available rule
Chris Pressey
1 year, 9 months ago
-
Render objects readably. Derive first step using Reflexivity.
Chris Pressey
1 year, 9 months ago
-
Initial import of files for Eqthy -- work in progress.
Chris Pressey
1 year, 9 months ago