Skip to content

Files

Latest commit

489aeb8 · Jul 4, 2025

History

History
52 lines (46 loc) · 1.75 KB

standard-library-classes.agda

File metadata and controls

52 lines (46 loc) · 1.75 KB