idris-ct
There are 1 repositories under idris-ct topic.
cct-exercises
Exercises in Computational Category Theory from classical textbooks using idris-ct
There are 1 repositories under idris-ct topic.
Exercises in Computational Category Theory from classical textbooks using idris-ct