agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Documentation for do syntax for propositional truncations

Open lowasser opened this issue 9 months ago • 0 comments

As requested in #1306 , starting a new PR for working through the docs.

lowasser avatar Feb 22 '25 17:02 lowasser