@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’m not really keeping up… this is part of the plan for Control.ST but there’s no implementation of mutable refs yet
-
-
Any help needed on that or embryo of it somewhere that I could push further?
-
I’m unlikely to do it in the near future, so it would certainly be a welcome contribution - the RTS currently has no support for it
- 3 more replies
New conversation -
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.