search

arthuraa / deriving

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

Simplify the type of derived isFinite. #25

Closed arthuraa closed 1 year ago