Add coq-dev target to CI. - Githubissues

arthuraa / deriving

Class instances for Coq inductive types with little boilerplate

MIT License

24 stars 9 forks source link

Add coq-dev target to CI. #13

Closed arthuraa closed 3 years ago