@edwinbrady What is the way to write something like newtype X ... = X { foo :: forall m. MyInterface m => ... } in Idris ?
-
-
@edwinbrady I'm the kind of fighter learner :DThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady ok idris is too strong for me tonight https://gist.github.com/mandubian/6707a83f2853ee28815f … ... {m:_} not behaving like universal quantifier I expect ;)Thanks. 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.