Post #1506846

@cbaberle @lyxia this is super cool, congrats. It’s my first time reading more than a passing mention of non-commutative logics, but the exposition makes it seem quite clear and has made it easy for me to grok the motivation for them finally.