Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus (via chrislloyd) — discussion
#editors #pdf #vcs
