core-logic

joshcho 2023-10-21T03:17:06.727849Z

has anyone created maybe an emacs extension that makes the 'o' in e.g. membero superscript, like in reasoned schemer? more readable imo

🤔 1