@edwinbrady What is the way to write something like newtype X ... = X { foo :: forall m. MyInterface m => ... } in Idris ?
@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 ;) -
@mandubian I'm not sure the second part of that fits with "Don't worry"... - 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.