-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady iOS or android? -
@MrDrem either would do. It'd help me choose :-). Needs to be aware of the language for what I have in mind though.
End of conversation
New conversation -
-
-
@edwinbrady You don’t have an iPad I can tell. -
.
@j05e By "interactive" I meant language aware and type directed. What I have in mind would be very cool if it existed :). I claim, anyway.
End of conversation
New conversation -
-
-
@edwinbrady Use multi-swipe to swing through dimensions of the type search space? -
@pdxleif I was thinking of things like reverse pinch for case split and refine, double tap for proof search, dragging terms into holes etc - 1 more reply
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.