It compiles! Ship it! http://idris-lang.org/archives/224
@tailcalled You can match on codata. But some things need more thought - I'm not especially keen on coinduction to be honest.
-
-
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.