/idris-ct-studies

Basic category theory studies in Idris2

Primary LanguageIdris

idris-ct-studies

Basic category theory studies in Idris2