Proof terms in Idris (2015)http://dafoster.net/articles/2015/02/27/proof-terms-in-idris/ by munro • 11 years ago 1 0 11 years agoDAdafoster.net