Skip to content

Thoughts on extrinsic syntax and proof-relevant typing#35

Draft
Russoul wants to merge 2 commits intomainfrom extrinsic-syntax-and-proof-relevant-typing
+528

Commits