aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler
Commit message (Expand)AuthorAgeFilesLines
* 029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2...eunhhu3 days1-0/+35
* 045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...eunhhu3 days16-0/+607