A very simple example of verification in Idris(gist.github.com)1 points by rs86 7 years ago | 0 commentsNo comments yet