@edwinbrady Idris looks impressive. One question though: how do you approach the problem of Int overflowing?
@andreasdotorg it's trivial to convert Nat/Fin to something lower level. Though I need a proper case study to demostrate this...
-
-
@edwinbrady I'd like to see some standalone embedded code that speaks rudimentary TCP/IP. I might work on that.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.