the proof assistant for my language workbench finally works as expected when JIT native compiled! I took a short break from it, but the solution turned out to be fairly simple: the symbol table for the language needed to be defined and updated at both compile and runtime, which is a fairly ordinary macro issue made slightly more confusing when it happened in the middle of the reader

next up:
- one more language! Standard ML is probably a project of its own, but datalog might be relatively perfect to demonstrate certain concepts.
- lots of little bug fixes
- I need to make sure packaging the language workbench will work as expected
- likewise, I need to make sure non-emacs-lisp source files can be packaged and compiled as part of the standard emacs package system
- not last and not least: long form documentation! there’s no way to figure this thing out right now without being a mind reader