GitHub repository: rensink/ngc-as-pb
Primary language: TeX
Description: Nested Conditions as Peircian Bicategories