from Hacker News

A very simple example of verification in Idris

by rs86 on 11/28/18, 5:45 PM with 0 comments