Skip to content

Thoughts on extrinsic syntax and proof-relevant typing #21

Thoughts on extrinsic syntax and proof-relevant typing

Thoughts on extrinsic syntax and proof-relevant typing #21