Skip to content

Latest commit

 

History

History
24 lines (20 loc) · 709 Bytes

nat-division-basic.agda

File metadata and controls

24 lines (20 loc) · 709 Bytes