/Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory

Primary LanguageIdris

Stargazers