Tree @
master
(
Download .tar.gz
)
..
__init__.py
ast.py
checker.py
eval.py
main.py
parser.py
pattern.py
reduce.py
scanner.py
term.py
History of src
/
ebfer
/
term.py
@
master
git clone https://git.catseye.tc/Ebfer/
Show how proof-checking works in Ebfer.
Chris Pressey
4 months ago
Make the codebase look a lot more like Lome's.
Chris Pressey
4 months ago
Step towards Ebfer being something that embeds Lome.
Chris Pressey
4 months ago