Skip to content

Latest commit

 

History

History
144 lines (122 loc) · 4.07 KB

Nat.agda

File metadata and controls

144 lines (122 loc) · 4.07 KB