search

arthuraa / deriving

Class instances for Coq inductive types with little boilerplate
MIT License
24 stars 9 forks source link

fix README (IndType) #2

Closed llelf closed 4 years ago

arthuraa commented 4 years ago

Thanks for noticing this!