Tree @master (Download .tar.gz)
History of
src
/
Language
/
Turmac
@master
git clone https://git.catseye.tc/Burro/
- Upgrade Turmac sources to version 0.4. Chris Pressey 10 days ago
- Dispense with the `contrib` dir, just commingle the sources. Chris Pressey 10 days ago
- Move TM-to-Kondey compiler to Language.Burro.TCProof namespace. Chris Pressey 10 days ago
- The Kondey backend for Turmac is part of the Burro codebase now. Chris Pressey a month ago