idris-ct
There are 1 repositories under idris-ct topic.
mstn/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