3 ms·Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus3 points by todsacerdoti 2y ago