@edwinbrady I have looked the docs and I was not able to find if it is possible to call an @idrislang function from C. Do you know if it is possible?
Replying to @Igortolivei @idrislang
Yes, but it's not especially documented or well tested. Section 4.5 of https://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf … says about all there is to say! Also in the test suite:https://github.com/idris-lang/Idris-dev/blob/master/test/ffi006/ffi006.idr …
0 replies
0 retweets
1 like
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.