core-logic 2023-10-21

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

🤔 1