Brent Yorgey

Closing this now that we have merged #365 .

Some potentially relevant reference material: https://gitlab.com/yorickpeterse/pattern-matching-in-rust/-/tree/main/jacobs2021

See https://github.com/swarm-game/swarm/pull/1252 for a similar change to Swarm.

Reading this over again, I think we definitely don't want Bool defined in a library. This whole issue is pretty low-priority but could be a fun issue for a student...

One original idea I had was to annotate each terminal with its ASCII equivalent, and select which to use at rendering time. But note that doesn't allow `prettyprinter` to take...

Note that currently, we do not even allow writing `T` by itself, and we don't have kinds like `Type -> Type`. So some bigger changes would be needed to support...

#101 could conceivably help with this.

Hmm, seems like this might actually be tricky, since we use indentation and allow definitions with multiple lines. When I tried adding recovery in what seems like a straightforward way,...

Should sketch out a detailed design for the semantics of matching.

Still blocked on #179 .