Skip to content

Files

Latest commit

f2134e0 · Nov 26, 2020

History

History
3 lines (3 loc) · 91 Bytes

schmitty.agda-lib

File metadata and controls

3 lines (3 loc) · 91 Bytes