Just submitted "Cross Platform Compilers for Functional Languages", about Idris and its multitudinous back ends. https://edwinb.wordpress.com/2015/07/04/cross-platform-compilers-for-functional-languages/ …
-
-
@edwinbrady they are super cool, :DThanks. 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.