Commit History
@master
git clone https://git.catseye.tc/Burro/
-
Some edits, in-progress, to the README.
Chris Pressey
1 year, 8 months ago
-
The Turing-completeness proof is incorrect, so remove it for now.
Chris Pressey
1 year, 8 months ago
-
Move Language/Burro.lhs to Language/Burro/Definition.lhs.
Chris Pressey
4 years ago
-
Also clean generated javascript.
Chris Pressey
4 years ago
-
Add some test cases that show that the idiom works.
Chris Pressey
4 years ago
-
Continue to work out the extensible conditional idiom.
Chris Pressey
4 years ago
-
Rewrite parts of the conditional idiom exposition for clarity.
Chris Pressey
4 years ago
-
Develop conditional idiom, rename tests to Tests.md, add driver.
Chris Pressey
4 years ago
-
Develop the idiom further.
Chris Pressey
4 years ago
-
Begin developing an extensible idiom for conditionals.
Chris Pressey
4 years ago
-
Add rudiementary Burro debugger and rudimentary example programs.
Chris Pressey
4 years ago
-
Remove unneeded import.
Chris Pressey
4 years ago
-
Note revision of this document in summer 2020.
Chris Pressey
4 years ago
-
Another small edit.
Chris Pressey
4 years ago
-
Small edits
Chris Pressey
4 years ago
-
Revamp new description.
Chris Pressey
4 years ago
-
Typesetting.
Chris Pressey
4 years ago
-
Fix links to Burro.lhs.
Chris Pressey
4 years ago
-
Apparently ~ means strikethru in GitHub Flavoured Markdown.
Chris Pressey
4 years ago
-
Attempt more conventional description of how a group is involved.
Chris Pressey
4 years ago
-
Last fix to typesetting, giving it a rest.
Chris Pressey
4 years ago
-
Another attempt at fixing the typesetting.
Chris Pressey
4 years ago
-
Attempt fix typesetting bogons.
Chris Pressey
4 years ago
-
"Typesetting".
Chris Pressey
4 years ago
-
GitHub-flavour the remaining table, generally massage the Markdown.
Chris Pressey
4 years ago
-
Begin GitHub-flavouring the tables.
Chris Pressey
4 years ago
-
Fix h2's.
Chris Pressey
4 years ago
-
Convert burro-1.0.html to Markdown, and link to it from README.
Chris Pressey
4 years ago
-
Add Haste build.
Chris Pressey
4 years ago
-
Modernize build/run scripts. Put `main` in its own Main module.
Chris Pressey
4 years ago