Dougal Maclaurin

Portable regex-based syntax highlighting

21

A bit of syntax highlighting goes a long way towards making things more readable. Right now we have a [little emacs mode](https://github.com/google-research/dex-lang/blob/main/misc/dex.el) and an independent [syntax highlighter for the HTML...

Next we'll actually make decls part of it. But that will involve substantive changes. This first step just makes the type distinct from `Binder` so we can make all the...

co-written by @axch **Goal**: Be able to define a type-class that models existence of a field-like thing in a record-like thing. **Non-goal**: Fixing class methods referencing each other (this is...