A very simple example of verification in Idris

by rs86on 11/28/2018, 5:45 PMwith 0 comments

0