Commit History
@master
git clone https://git.catseye.tc/Lome/
- Final few edits to README before releasing first version. Chris Pressey a month ago
- More edits to README. Add another footnote. Chris Pressey 3 months ago
- Edits to README to improve it. Chris Pressey 3 months ago
- Add README. Improve the specification. Chris Pressey 3 months ago
- Simplify: remove IntLiterals: we're not using them here (yet). Chris Pressey 3 months ago
- Factor `checker` module out of `main`. Chris Pressey 3 months ago
- Initial import of files for ref. dist. of Lome, a proof language. Chris Pressey 3 months ago