History of
README.md
@master
git clone https://git.catseye.tc/Eqthy/
-
Add 'Context' type, minor edits elsewhere as well.
Chris Pressey
a month ago
-
I don't really know if this was a very old statistic, or a typo.
Chris Pressey
2 months ago
-
Small formatting updates and fixes.
Chris Pressey
2 months ago
-
Bump version number.
Chris Pressey
2 months ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
3 months ago
-
Merge branch 'master' of https://codeberg.org/catseye/Eqthy
Chris Pressey
6 months ago
-
Update links in "see-also bar".
Chris Pressey
6 months ago
-
update description of proof of boolean algebra in list
pro465
6 months ago
-
Tiny final edits to TODO section.
Chris Pressey
8 months ago
-
Edits to the TODO section.
Chris Pressey
8 months ago
-
A last few edits before we release 0.3.
Chris Pressey
8 months ago
-
Bump version to 0.3 and add release notes thus far.
Chris Pressey
9 months ago
-
fix link in README.md
Proloy Mishra
(commit: GitHub)
10 months ago
-
Add Falderal test for variable renaming.
Chris Pressey
1 year, 1 month ago
-
Update README.
Chris Pressey
1 year, 1 month ago
-
Add an example proof in a Combinatory Logic.
Chris Pressey
1 year, 1 month ago
-
Axioms for boolean algebra, and some lemmas therein.
Chris Pressey
1 year, 1 month ago
-
Add TODO notes.
Chris Pressey
1 year, 2 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 2 months ago
-
Show step number in some error messages.
Chris Pressey
1 year, 2 months ago
-
Bump version number.
Chris Pressey
1 year, 2 months ago
-
Update README.md
Chris Pressey
(commit: GitHub)
1 year, 2 months ago
-
Finish the Propositional Algebra proof! Such yay, much rejoicing
Chris Pressey
1 year, 3 months ago
-
Modus ponens! After fixing a silly error in an axiom definition.
Chris Pressey
1 year, 3 months ago
-
Checkpoint working out the propositional algebra proof.
Chris Pressey
1 year, 4 months ago
-
Mention embedding in Markdown in README.
Chris Pressey
1 year, 4 months ago
-
Start branch for release of version 0.1, when it comes.
Chris Pressey
1 year, 5 months ago
-
Small edits to README.
Chris Pressey
1 year, 5 months ago
-
Add "Design Principles" section to README.
Chris Pressey
1 year, 5 months ago
-
Some edits to README.
Chris Pressey
(commit: GitHub)
1 year, 5 months ago