@edwinbrady What is the way to write something like newtype X ... = X { foo :: forall m. MyInterface m => ... } in Idris ?
@mandubian I'm not at a computer right now but if you point me at a compete example I'll try to translate later
-
-
@mandubian it feels a bit silly saying that when my phone is obviously a computer. Not one with Idris installed though :) -
@edwinbrady thanks! Don't worry, I'll try by myself hitting my head on the wall till it bleeds or works... If I'm stuck, I'll ask you ;) - 2 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.