What I like about these notes is that a complex topic is described in a simple and very practical manner. By the way, a few years ago there was another project on creating a code generator using declarative constraint solving:
https://www.researchgate.net/profile/Peter-Sovietov/publicat...