git @ Cat's Eye Technologies
Eqthy
/
0.2
eg
/
incorrect
0.2
master
place-under-bsd-license
develop-0.3
output-sexpr
develop-0.2
0.4
0.3
0.2
0.1
Tree @
0.2
(
Download .tar.gz
)
..
ill-formed.eqthy.md
incorrect-hint.eqthy.md
incorrect-reflexivity.eqthy.md
History of eg
/
incorrect
@
0.2
git clone https://git.catseye.tc/Eqthy/
Embed Eqthy documents in Markdown documents.
Chris Pressey
1 year, 11 months ago
Parse and verify one file at a time. Expand test driver.
Chris Pressey
1 year, 11 months ago
Organize example documents better.
Chris Pressey
2 years ago