4 ms·
A tiny toy compiler proven correct in Idris
- brudgers 8y agoI would love to read an explanatory article/blog/essay/whatever because the idea sounds more interesting than what I can translate from the language in which the code is written.
loading thread…