Demostration of FFI from Agda -> Haskell -> C in one project
Primary LanguageHaskell
No issues in this repository yet.