Tree @master (Download .tar.gz)
History of
src
/
Language
@master
git clone https://git.catseye.tc/Burro/
- Make it a 2-clause BSD license, like the other projects. Chris Pressey 9 months ago
- Arrange licensing info in repo to follow REUSE 3.0 convention. Chris Pressey 9 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
- 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
- Typesetting. 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
- 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
- Rename module to Language.Burro and do LHS-as-Markdown link trick. Chris Pressey 4 years ago