search

uwplse / coq-plugin-lib

Library of useful utility functions for Coq plugins
MIT License
12 stars 5 forks source link

Clean HOF type signatures #20

Open tlringer opened 5 years ago