History of build.sh @master git clone https://git.catseye.tc/Burro/

• Add TC proof generated by Claude Opus-4.8 & supporting materials. Chris Pressey 2 months ago
• Dispense with the `contrib` dir, just commingle the sources. Chris Pressey 2 months ago
• Import Turmac (working version of 0.3) as a contrib in this repo. Chris Pressey 3 months ago
• Arrange licensing info in repo according to REUSE 3.2 convention. Chris Pressey 2 years ago
• Make build.sh work with containerized hastec. Chris Pressey 3 years ago
• Add Haste build. Chris Pressey 6 years ago
• Modernize build/run scripts. Put `main` in its own Main module. Chris Pressey 6 years ago
• Rename module to Language.Burro and do LHS-as-Markdown link trick. Chris Pressey 6 years ago
• Simplify build system. Don't build if ghc not found. Cat's Eye Technologies 12 years ago