Skip to content

Latest commit

 

History

History
267 lines (239 loc) · 11.4 KB

Par.agda

File metadata and controls

267 lines (239 loc) · 11.4 KB