Jumping through hoops to translate #Idris to #Scala: http://stackoverflow.com/a/33844192/146737 …. @edwinbrady is that good for your @scalaworldconf challenge?
@milessabin interesting to see how it works! Would that extend to implementing the Door protocol?
-
-
@edwinbrady yes, it will. It's just a bit laborious. -
@milessabin thought as much, I think I can see how it would go. I'll consider that challenge done to spare you the labour then :) - 1 more reply
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.