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