Mario Román

Search

Search IconIcon to open search

Quotienting Do-notation

Last updated Feb 13, 2023

quotienting-do-notation

Tags: Do-notation in type theory.