Skip to content
This repository has been archived by the owner on May 18, 2021. It is now read-only.

Latest commit

 

History

History
31 lines (29 loc) · 1.24 KB

learn-you-an-agda.cabal

File metadata and controls

31 lines (29 loc) · 1.24 KB