Skip to content

Latest commit

 

History

History
98 lines (77 loc) · 4.37 KB

Equality.agda

File metadata and controls

98 lines (77 loc) · 4.37 KB