Skip to content

Latest commit

 

History

History
406 lines (343 loc) · 12.4 KB

Bino2.agda

File metadata and controls

406 lines (343 loc) · 12.4 KB