Proof terms in Idris (2015)(dafoster.net)1 points·by munro·11 tahun yang lalu·0 commentsdafoster.netProof terms in Idris (2015)http://dafoster.net/articles/2015/02/27/proof-terms-in-idris/0 commentsPost comment—