Hacker News new | ask | show | jobs
A very simple example of verification in Idris (gist.github.com)
1 points by rs86 2758 days ago