Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Burro/
- The Turing-completeness proof is incorrect, so remove it for now. Chris Pressey 1 year, 2 months ago
- Move Language/Burro.lhs to Language/Burro/Definition.lhs. Chris Pressey 3 years ago
- Also clean generated javascript. Chris Pressey 3 years ago
- Add some test cases that show that the idiom works. Chris Pressey 3 years ago
- Continue to work out the extensible conditional idiom. Chris Pressey 3 years ago
- Rewrite parts of the conditional idiom exposition for clarity. Chris Pressey 3 years ago
- Develop conditional idiom, rename tests to Tests.md, add driver. Chris Pressey 3 years ago
- Develop the idiom further. Chris Pressey 3 years ago
- Begin developing an extensible idiom for conditionals. Chris Pressey 3 years ago
- Add rudiementary Burro debugger and rudimentary example programs. Chris Pressey 3 years ago
- Remove unneeded import. Chris Pressey 3 years ago
- Note revision of this document in summer 2020. Chris Pressey 3 years ago
- Another small edit. Chris Pressey 3 years ago
- Small edits Chris Pressey 3 years ago
- Revamp new description. Chris Pressey 3 years ago
- Typesetting. Chris Pressey 3 years ago
- Fix links to Burro.lhs. Chris Pressey 3 years ago
- Apparently ~ means strikethru in GitHub Flavoured Markdown. Chris Pressey 3 years ago
- Attempt more conventional description of how a group is involved. Chris Pressey 3 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
- Indent all code four spaces to make the Markdown link trick work. Chris Pressey 4 years ago