Tree @master (Download .tar.gz)
History of
src
/
Language
@master
git clone https://git.catseye.tc/Burro/
0
»»
- Reformat test case and bring generator yet closer to it. Chris Pressey 30 days ago
- Yet closer. Chris Pressey a month ago
- Bring the construction closer still. Chris Pressey a month ago
- Tiny improvement to `gencond` facility. Chris Pressey a month ago
- Begin building gencond feature in the reference implementation. Chris Pressey 2 months ago
- Improve visualization, update tests. Chris Pressey 3 months ago
- Improve visualization of state. Tests fail though. Chris Pressey 4 months ago
- Make it a 2-clause BSD license, like the other projects. Chris Pressey 1 year, 4 days ago
- Arrange licensing info in repo to follow REUSE 3.0 convention. Chris Pressey 1 year, 5 days ago
- The Turing-completeness proof is incorrect, so remove it for now. Chris Pressey 1 year, 11 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
0
»»