@edwinbrady Don't know if you saw my question about mutable IO/STRef things in Idris on mailing list? Just to know if you've got hints! thks
I don’t think it needs to do anything clever or new. Mutable things might affect GC assumptions though
-
-
Ok I'll think about it... Time to read the haruspices in Idris guts ;)
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.