@edwinbrady hi! is it possible to make an Idris a program a shared library? The ffi documentation is not clear enough :/
I suppose you can at least generate the C then do what you need to with that, but it depends what you're wanting to achieve with it.
-
-
Thanks, I found what I was looking for: https://github.com/idris-lang/Idris-dev/tree/master/test/ffi006 … FFI_Export and the --interface option.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.