History of
doc
/
Ebfer.md
@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