mbrodersen/idris-sandbox

Idris Sandbox

2 best points · 1 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub

Hacker News discussions

• A tiny toy compiler proven correct in Idris (2 points, 1 comments, by mbrodersen, 2018-07-16)