A full-featured hierarchy of typeclasses for functional programming in Coq
-
Updated
Feb 6, 2017 - Coq
A full-featured hierarchy of typeclasses for functional programming in Coq
Typeclasses, datatypes and theorems for functional programming in Coq.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
A proof that Coq typeclass resolution is Turing-complete
Add a description, image, and links to the typeclasses topic page so that developers can more easily learn about it.
To associate your repository with the typeclasses topic, visit your repo's landing page and select "manage topics."