GitHub repository: siddharthist/coq-typeclass-hierarchy
Primary language: Coq
Created: 2017-01-30T01:37:18Z
Description: A full-featured hierarchy of typeclasses for functional programming in Coq