I had to go to some lengths to make this (associativity of vector append) type check, but it does now… https://gist.github.com/edwinb/dd06af6a2531f7f3bb5cf19f7fb1976d …
-
-
@edwinbrady even better! This is so cool! -
@d_christiansen Oh, also, if it doesn't work, you can specify your own rewriting lemma as well. - 3 more replies
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.