# content
Grove: A Bidirectionally typed collaborative structure editor calculus (via crowdhailer) — discussion

#editors #video