@edwinbrady Does Idris2 have a C codegen? I am not finding it anywhere. And about FFI_Export? 
-
Show this thread
-
Btw, My question is because I am using on SGX enclaves
1 reply 0 retweets 0 likesShow this thread
Replying to @Igortolivei
There isn't one yet. I want one at some point, but other things have been higher priority.
7:43 AM - 22 Jul 2019
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.