@edwinbrady is there a link to your slides or a gist of the door jam Idris you'd like me to translate to Scala?
Replying to @milessabin
@milessabin It's all here http://www.idris-lang.org/STL2015/ - the Door example is in Part 2, Effects/Door2.idr
0 replies
1 retweet
2 likes
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.