Skip to content

Latest commit

 

History

History
561 lines (539 loc) · 27.4 KB

Pi1.agda

File metadata and controls

561 lines (539 loc) · 27.4 KB