@isanobody_ Mostly just newly documented. The FFI updates are from 0.9.16 and 0.9.17.
-
-
This Tweet is unavailable.
-
-
-
-
@edwinbrady Why does JS_FnIO: JS_Types t -> JS_FnTypes (IO’ l t) use IO' instead of JS_FnTypes (JS_IO t)? Or is such recursion illegal? -
@alexey_r iirc it was to give proof search a better chance. Probably not necessary any more - I'll check.
End of conversation
New conversation -
-
-
@edwinbrady while I read this I was thinking of this image http://bit.ly/1IAHENz anytime I read Idris -
@silverspoon Hehe. Lots of other nice pictures on that blog… - 1 more reply
New conversation -
-
-
@edwinbrady COMPILERS UNTO THE COMPILER GODThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady *watches Idris shake its booties*Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
.
@edwinbrady nice to see there experimental code generator for GAP!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.