Skip to content

Latest commit

 

History

History
92 lines (67 loc) · 2.95 KB

Sized.agda

File metadata and controls

92 lines (67 loc) · 2.95 KB