franklin.dyer.me

Franklin Pezzuti Dyer

Totality and non-standard recursion in Idris Lately I've been continuing my adventures in dependent type theory and computer-verified proofs by working with the Idris language. I've really enjoyed us