History of
doc
@master
git clone https://git.catseye.tc/Ebfer/
-
Improve signature of this example function we keep using.
Chris Pressey
3 months ago
-
Update copyright year.
Chris Pressey
4 months ago
-
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
-
Show how proof-checking works in Ebfer.
Chris Pressey
4 months ago
-
A few more tests.
Chris Pressey
4 months ago
-
Improve output formatting.
Chris Pressey
4 months ago
-
Tweaks to language description.
Chris Pressey
4 months ago
-
Step towards Ebfer being something that embeds Lome.
Chris Pressey
4 months ago
-
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