A very simple example of verification in Idris(gist.github.com)
gist.github.com
A very simple example of verification in Idris
https://gist.github.com/roehst/f87af1dabd2699762dec2657a20173f7
0 comments
—
https://gist.github.com/roehst/f87af1dabd2699762dec2657a20173f7
—