Hi @edwinbrady, sample [alpha] Scala/Eff extending @milessabin work: Files(read/write)+state+stdio & zillion typeshttps://github.com/mandubian/scalaeff/blob/master/src/test/scala/EffSpec.scala#L136-L195 …
-
-
@edwinbrady happy, not so sure :D but it means we can diffuse those ideas and bring more people to Idris (like me ;))@milessabinThanks. 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.