Search
❯
13 May 20261 min read
Dead project that’s a two-dimensional editor for emacs (for type theory?)