Skip to content

Latest commit

 

History

History
175 lines (146 loc) · 8.32 KB

B2.agda

File metadata and controls

175 lines (146 loc) · 8.32 KB