Add generic makefile and suppress some notation warnings

arthuraa / deriving

Class instances for Coq inductive types with little boilerplate

MIT License

24 stars 9 forks source link

Closed anton-trunov closed 4 years ago

arthuraa commented 4 years ago

Awesome; thanks!

anton-trunov commented 4 years ago

Awesome library! I do hope this project finds its way into mathcomp!