Daniel D. Johnson

Perhaps one could daisy-chain that with something like [tm2deftheme](https://github.com/emacsfodder/tmtheme-to-emacs) or [coloration](https://github.com/sickill/coloration)?

An interesting property of inferred superclass instances: it allows refining the class hierarchy without breaking user code. In particular you could lift operators from an interface into a new parent...

I agree that this isn't as well documented as it could be; I was mostly focused on trying to get something that worked. I'll take another pass through it and...

I believe you've linked to the prototype of pure-Dex userspace parsing, which isn't actually used when parsing normal Dex code. But indeed the Haskell parser implementation that parses Dex code...

Yeah, the current syntax doesn't support record flattening. I think it's actually a more fundamental issue than that, too, because the concatenation of two records can't be unified with a...