@edwinbrady "teaching XML" ohohohoh that's so funny... nobody teaches that, there is nothing to learn about it
@mandubian Interestingly (or annoyingly) I think Idris is right here! Problem is it can't unify "ops m" and "ops m1" because...
-
-
@mandubian …ops could be *any* function, not necessarily an injective constructor of a type like in Haskell/Scala… -
@mandubian I'll ponder alternatives, but meanwhile there is more information that could go in the error message. - 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.