@edwinbrady This is wonderful news! Does it support the whole iterated tower of dependencies or is it purely dreplace?
-
-
-
@d_christiansen I haven't yet worked out exactly what it works for, so I need to play :). It generates rewriting lemmas for specific types. - 5 more replies
New conversation -
-
-
@edwinbrady Awesome! I remember having trouble doing something because I couldn't figure this out. Thanks for this! -
@nv_dia it's remarkably annoying to do... I'm glad it's going to be easy now! It just turned out to be a yak I needed to shave...
End of conversation
New conversation -
-
-
@edwinbrady VECTORS FOR THE VECTOR GODThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.