History of doc @master git clone https://git.catseye.tc/Ebfer/

• Rename the implementation from lome.py to ebfer.py. Chris Pressey 1 year, 1 month ago
• Rename the license file. Chris Pressey 1 year, 1 month ago
• Develop evaluator. Chris Pressey 1 year, 2 months ago
• Call driver script `ebfer` and have --no-check, --no-eval options. Chris Pressey 1 year, 2 months ago
• Beginnings of support for Ebfer evaluation. Chris Pressey 1 year, 2 months ago
• Extend parsing terms to also parsing literal integers. Chris Pressey 1 year, 2 months ago
• Implement flags and parse functions. Chris Pressey 1 year, 2 months ago
• Develop the Ebfer specification. Chris Pressey 1 year, 2 months ago
• Begin writing up docs for Ebfer. Chris Pressey 1 year, 2 months ago
• Round out the test cases. Chris Pressey 1 year, 2 months ago
• Add some more failing test cases. Chris Pressey 1 year, 2 months ago
• License under BSD. Arrange license info according to REUSE 3.2. Chris Pressey 1 year, 2 months ago
• Add failing test case. Define dedicated Error subclass for use. Chris Pressey 1 year, 2 months ago
• Add (failing) test for expansion of 2-argument form of decorator. Chris Pressey 1 year, 2 months ago
• Rewrite part of the language doc. Chris Pressey 1 year, 2 months ago
• Improve error collection and reporting. Chris Pressey 1 year, 2 months ago
• Rename def -> rule Chris Pressey 1 year, 2 months ago
• Remove hardcoded proof rules. Develop the test suite. Chris Pressey 1 year, 2 months ago
• Support proof transformers defined by user with pattern matching Chris Pressey 1 year, 2 months ago
• Unify the specification doc and the tests doc. Chris Pressey 1 year, 2 months ago
• This is what user-defined definitions will look like, for now. Chris Pressey 1 year, 2 months ago
• Add test for catching invalid proof. Fix bug in parser. Chris Pressey 1 year, 2 months ago
• Add an AST module and make the grammar and parser more real. Chris Pressey 1 year, 2 months ago
• Put the tests in a literate document and use Falderal to run it. Chris Pressey 1 year, 2 months ago
• Rename. Chris Pressey 1 year, 2 months ago
• Flesh out the documentation somewhat. Small steps for now. Chris Pressey 1 year, 7 months ago
• Initial commit: Checkpoint writing the documentation. Chris Pressey 1 year, 7 months ago