jgrosso / deriving

Class instances for Coq inductive types with little boilerplate

Geek Repo

Github PK Tool