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

#editors #pdf #vcs