Skip to content

Latest commit

 

History

History
13 lines (10 loc) · 315 Bytes

Basic.idr

File metadata and controls

13 lines (10 loc) · 315 Bytes