Tree @master (Download .tar.gz)
History of
src
/
ebfer
/
parser.py
@master
git clone https://git.catseye.tc/Ebfer/
- Import from Lome: forbid multiple rules with same head symbol. Chris Pressey 4 months ago
- 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