2 open source projects by antalsz

Convert Haskell source code to Coq source code

Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"