Search
❯
08 Dec 20251 min read
Dead project that’s a two-dimensional editor for emacs (for type theory?)