A very simple example of verification in Idrisgist.github.com1 point·rs86··0 commentsOpen articleSaveView on HN