Skip to content

Latest commit

 

History

History
27 lines (17 loc) · 617 Bytes

Hello.agda

File metadata and controls

27 lines (17 loc) · 617 Bytes