GitHub repository: nickng/sessiontype-latex
Primary language: TeX
Description: Session Type typesetting macros