Skip to content

Latest commit

 

History

History
64 lines (57 loc) · 2.92 KB

Imp.agda

File metadata and controls

64 lines (57 loc) · 2.92 KB