Naive question, @edwinbrady : do you have occasion in Blodwyn to be doing (anti-) unification on ADTs?
-
-
Replying to @DrEigenbastard
I don't think I understand the question, which means the answer is probably no. What do you mean by 'on ADTs' here?
1 reply 0 retweets 1 like -
Replying to @edwinbrady
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?
1 reply 0 retweets 0 likes
Replying to @DrEigenbastard
Ah, I see. Hmm. No, in that case I haven't done anything along those lines.
8:34 AM - 28 Feb 2019
0 replies
0 retweets
0 likes
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.