Skip to content

Latest commit

 

History

History
23 lines (17 loc) · 587 Bytes

LawfulFunctor.agda

File metadata and controls

23 lines (17 loc) · 587 Bytes