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