Skip to content

Files

Latest commit

e900c5d · Mar 7, 2025

History

History
5 lines (5 loc) · 97 Bytes

agda-stdlib-meta.agda-lib

File metadata and controls

5 lines (5 loc) · 97 Bytes