because I apparently can't help myself, I've made a ... terminal editor? my structured editor now lives in a terminal. with mouse support, of course 🙃.
(it will also [primarily?] live on the web, but ... yaks aren't gonna shave themselves)

now I've got a little search results thing to show references!! very excited about it

tonight's win: usage highlighting! with multi-cursor rename :)

self-hosted type checker update: I've managed to implement all of "typing haskell in haskell" (https://web.cecs.pdx.edu/~mpj/thih/thih.pdf) in my "algorithm-w+" language! So type checking type classes is working :) although there's a bit more work to do to get compilation of type classes working correctly (passing type info to the compilation pipeline).

I've done it! fully self-hosted type inference (an inference engine powerful enough to type check its own code). algo is "Algorithm W Step by Step" + `match` (w/ patterns) + sum types + mutually recursive functions.
I tried to keep the AST bare-bones but usable.

this is such a satisfying way to document my code

Hindley Milner type inference (algorithm-j) visualized 🎉

wip type inference visualization

first of (I hope) several different type inference explorations, I've got a very basic algorithm-j working nicely