Tylr: Syntactic Completions with Material Obligations
Parse errors are a pain for beginners and experts alike. The Tylr project eliminates parse errors (!) by automatically tracking syntactic obligations and materializing them as holes and other affordances. This benefits both humans and downstream tooling.