wherein I describe deadlock and race-free session types with non-determinism
Primary LanguageAgdaMIT LicenseMIT