Skip to content

Latest commit

 

History

History
170 lines (160 loc) · 6.51 KB

patterns-core.agda

File metadata and controls

170 lines (160 loc) · 6.51 KB