May 16, 2025
Still working on Klee. I’m happy with how it has been progressing. You can follow the progress here. Definitely a long road to go with it, but I’m very excited to start actually building GUI’s with it.
I’m particularly interested in this idea of using Klee to bootstrap a syndicate-specific editor for building actors. Currently I am eyeing either a tcl editor + sub-editor for klee expressions, or a racket + klee structured editor.