Packages
Packages
| Package | “ffi” Flag Description |
|---|---|
| sci-mathematics/agda-stdlib | Install agda-lib-ffi for compilation using the MAlonzo backend |
| dev-lang/php | Add foreign function interface (ffi extension) support |