Tree @master (Download .tar.gz)
History of
test.sh
@master
git clone https://git.catseye.tc/Eqthy/
- Fix up testing infrastructure. Chris Pressey a month ago
- Allow Eqthy documents in Markdown to include other Eqthy documents. Chris Pressey a month ago
- Fix test driver, using sh -e here is not what we want yet Chris Pressey a month ago
- Add document with axioms for Interior Algebra. Chris Pressey a month ago
- Have all examples live in the same directory right now. Chris Pressey a month ago
- Update copyright year and run `reuse lint` as part of the test. Chris Pressey a month ago
- Show that context is accumulated from one document to the next. Chris Pressey a month ago
- Begin adding some type annotations. Refactor Term type. Chris Pressey a month ago
- Embed Eqthy documents in Markdown documents. Chris Pressey 1 year, 3 months ago
- Parse and verify one file at a time. Expand test driver. Chris Pressey 1 year, 3 months ago
- Check the known-valid example documents as part of test script. Chris Pressey 1 year, 6 months ago
- Refactor documentation. Chris Pressey 1 year, 6 months ago
- Add test driver script. Chris Pressey 1 year, 6 months ago