Geeks
andorp
/
idris-ct-studies
Basic category theory studies in Idris2
Primary Language
Idris
idris-ct-studies GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
idris-ct-studies
Basic category theory studies in Idris2