@edwinbrady hurrah! What was the weird trick?
-
-
-
@pozorvlak Pattern unification, a bit like in http://www.cse.chalmers.se/~ulfn/papers/meta-variables.pdf …. Should probably have done this ages ago… - 1 more reply
New conversation -
-
-
@edwinbrady the clickbait doesn't work if there's nothing to click ;-) -
@milessabin 17 reasons why I'm sorry I'm new at this! - 1 more reply
New conversation -
-
This Tweet is unavailable.
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.