Skip to content

Latest commit

 

History

History
336 lines (313 loc) · 22.6 KB

holes-disjoint-checks.agda

File metadata and controls

336 lines (313 loc) · 22.6 KB