Add structs support to FFI - Githubissues

leanprover / lean3

Lean Theorem Prover

http://leanprover.github.io/

Apache License 2.0

2.15k stars 217 forks source link

Add structs support to FFI #1999

Closed agentultra closed 5 years ago