Skip to content

Latest commit

 

History

History
563 lines (461 loc) · 25.8 KB

Kleene.agda

File metadata and controls

563 lines (461 loc) · 25.8 KB