search

coq-community / coqffi

Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
https://coq-community.org/coqffi/
MIT License
35 stars 8 forks source link

Refine the generation of typeclass instances #67

Closed lthms closed 3 years ago

lthms commented 3 years ago

We only need to generate a lambda if the primitive is polymorphic, not every time.