Tree @
master
(
Download .tar.gz
)
..
__init__.py
ast.py
checker.py
main.py
parser.py
pattern.py
reduce.py
scanner.py
term.py
History of src
/
lome
@
master
git clone https://git.catseye.tc/Lome/
Simplify: remove IntLiterals: we're not using them here (yet).
Chris Pressey
2 months ago
Factor `checker` module out of `main`.
Chris Pressey
2 months ago
Initial import of files for ref. dist. of Lome, a proof language.
Chris Pressey
2 months ago