Definition.lhs
History of
src
/
Language
/
Burro
@master
git clone https://git.catseye.tc/Burro/
- Add TC proof generated by Claude Opus-4.8 & supporting materials. Chris Pressey 2 months ago
- Make State a record. Add "pos" field to State to support tracking. Chris Pressey 3 months ago
- Update copyright year. Chris Pressey 3 months ago
- Move TM-to-Kondey compiler to Language.Burro.TCProof namespace. Chris Pressey 3 months ago
- Add --tape-display-width option and update test cases. Chris Pressey 1 year, 8 months ago
- Add --tape-chunk-size flag, to specify this during debugging. Chris Pressey 1 year, 8 months ago
- Highlight the current tape cell within the current chunk. Chris Pressey 1 year, 8 months ago
- Display tape in chunks in Debugger. Chris Pressey 1 year, 8 months ago
- Copy in function for rendering tape, which we will improve. Chris Pressey 1 year, 8 months ago
- Improve debugger visualization, again. Chris Pressey 1 year, 8 months ago
- Improve debugger visualization. Chris Pressey 1 year, 8 months ago
- Rewrite Debugger functions w/monad stack, and track tape position. Chris Pressey 1 year, 8 months ago
- Bump copyright date. Chris Pressey 1 year, 8 months ago
- Try to improve debugger. Chris Pressey 1 year, 8 months ago
- Remove outdated paragraph in defintion. Chris Pressey 1 year, 8 months ago
- Various small improvements to debugging. Chris Pressey 1 year, 8 months ago
- Update copyright dates. Chris Pressey 1 year, 9 months ago
- Merge branch 'develop-2025-1' into kondey Chris Pressey 1 year, 9 months ago
- Extend Show instance of Burro so no need for dedicated renderer. Chris Pressey 1 year, 9 months ago
- Format for conditional structures is actually its own language. Chris Pressey 1 year, 9 months ago
- Bring the generator up to par with our conditional branch layout. Chris Pressey 1 year, 9 months ago
- Reformat test case and bring generator yet closer to it. Chris Pressey 1 year, 9 months ago
- Yet closer. Chris Pressey 1 year, 9 months ago
- Bring the construction closer still. Chris Pressey 1 year, 9 months ago
- Tiny improvement to `gencond` facility. Chris Pressey 1 year, 9 months ago
- Begin building gencond feature in the reference implementation. Chris Pressey 1 year, 11 months ago
- Improve visualization, update tests. Chris Pressey 2 years ago
- Improve visualization of state. Tests fail though. Chris Pressey 2 years ago
- Make it a 2-clause BSD license, like the other projects. Chris Pressey 2 years ago
- Arrange licensing info in repo to follow REUSE 3.0 convention. Chris Pressey 2 years ago