Skip to content

Latest commit

 

History

History
92 lines (72 loc) · 2.8 KB

Names2.agda

File metadata and controls

92 lines (72 loc) · 2.8 KB