deriving

Class instances for Coq inductive types with little boilerplate

GitHub

24 stars
3 watching
9 forks
Language: Coq
last commit: 6 months ago