Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
A tiny toy compiler proven correct in Idris (github.com/mbrodersen)
2 points
mbrodersen
8 years ago
1 comment
2.
The Programming Languages Zoo (github.com/andrejbauer)
3 points
mbrodersen
4 years ago
discuss
3.
Let’s Prove Leftpad (Comparing proof tools) (github.com/hwayne)
1 point
mbrodersen
5 years ago
discuss