git @ Cat's Eye Technologies Eqthy / 8d3564d
Bump version to 0.3 and add release notes thus far. Chris Pressey 1 year, 9 months ago
3 changed file(s) with 23 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
+21
-0
HISTORY.md less more
00 History of Eqthy
11 ================
2
3 0.3
4 ---
5
6 Implementation:
7
8 * A bug where two terms could unify even though they have
9 different constructors was discovered and fixed by
10 Proloy Mishra (@pro465), who also repaired the proof in
11 `boolean-algebra.eqthy.md` that had passed checking
12 only due to this bug.
13 * Slightly improved logging produced in `--verbose` mode.
14
15 Distribution:
16
17 * The axiom system used in `propositional-algebra.eqthy.md`
18 was identified to be inconsistent, also by @pro465. The
19 axiom was replaced with one that is probably not
20 inconsistent, and the proof was repaired (although not
21 in a particularly satisfying way -- the whole thing could
22 stand to be done in a simpler way, if possible).
223
324 0.2
425 ---
+1
-1
README.md less more
00 Eqthy
11 =====
22
3 _Version 0.2_ | _See also:_ [Philomath](https://github.com/catseye/Philomath#readme)
3 _Version 0.3_ | _See also:_ [Philomath](https://github.com/catseye/Philomath#readme)
44 ∘ [LCF-style-ND](https://github.com/cpressey/LCF-style-ND#readme)
55
66 - - - -
+1
-1
src/eqthy/main.py less more
4242 help="Tell the user about every little thing"
4343 )
4444 argparser.add_argument(
45 "--version", action="version", version="%(prog)s 0.2"
45 "--version", action="version", version="%(prog)s 0.3"
4646 )
4747
4848 options = argparser.parse_args(args)