This work is from 2020, starting from the language spec of Subtext 9 which was done in 2019. The highlight might be a new approach to the Update Problem.
Here is the highly incomplete documentation. The most theoretically interesting bit is Feedback. I don't advise trying to read or run the code.