Tree @develop-2023-1 (Download .tar.gz)
History of
src
/
Language
@develop-2023-1
git clone https://git.catseye.tc/Burro/
- The Turing-completeness proof is incorrect, so remove it for now. Chris Pressey 2 years 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 5 years ago
- Remove unneeded import. Chris Pressey 5 years ago
- Note revision of this document in summer 2020. Chris Pressey 5 years ago
- Typesetting. Chris Pressey 5 years ago
- Last fix to typesetting, giving it a rest. Chris Pressey 5 years ago
- Another attempt at fixing the typesetting. Chris Pressey 5 years ago
- Attempt fix typesetting bogons. Chris Pressey 5 years ago
- "Typesetting". Chris Pressey 5 years ago
- Modernize build/run scripts. Put `main` in its own Main module. Chris Pressey 5 years ago
- Indent all code four spaces to make the Markdown link trick work. Chris Pressey 5 years ago
- Rename module to Language.Burro and do LHS-as-Markdown link trick. Chris Pressey 5 years ago