GitHub repository: lemastero/Idris-Applied-Category-Theory
Primary language: Idris
Created: 2021-03-07T00:38:07Z
Description: Implementation of concepts from Applied Category Theory