Skip to content

Files

Latest commit

 

History

History
180 lines (130 loc) · 5.35 KB

Jaco.agda

File metadata and controls

180 lines (130 loc) · 5.35 KB