Tree @master (Download .tar.gz)
History of
src
@master
git clone https://git.catseye.tc/Ebfer/
- Follow more consistent naming convention, op-property-side. Chris Pressey 4 months ago
- Add `contract_` rule for each function defined as well. Chris Pressey 4 months ago
- For every function, add an `expand_` rule for it. Chris Pressey 4 months ago
- 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
- Allow function calls to be evaluated; all unit tests pass. Chris Pressey 4 months ago
- Improve output formatting. 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