Hey @edwinbrady if u have few min, could u look at my draft Idris IORef impl proposal & tell if it's non-sense? thks https://groups.google.com/forum/#!topic/idris-lang/FXB5eWrptrM …
I will take a look! At a first glance it seems reasonable but probably needs a more careful look...
-
-
Thks! Check & tell me, I can spend more time on it & improve it... For now, it's minimalistic but not intrusive which is quite reassuring :)
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.