Naive question, @edwinbrady : do you have occasion in Blodwyn to be doing (anti-) unification on ADTs?
-
-
Well, 'traditional' AU could be said to be done on: data Ex = Var String | Func [Ex], with au : Ex -> Ex -> Map Ex Ex So I was wondering if you had occasion to generalise the above to arbitrary ADTs?
-
Ah, I see. Hmm. No, in that case I haven't done anything along those lines.
End of conversation
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.