/cct-exercises

Exercises in Computational Category Theory from classical textbooks using idris-ct

Primary LanguageIdrisGNU Affero General Public License v3.0AGPL-3.0

No issues in this repository yet.