issues
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
Support labelled arguments in functions
#75
Closed
lthms
closed
3 years ago
lthms
commented
3 years ago
Plus an unrelated commits because.
Fixes #38
Plus an unrelated commits because.
Fixes #38