idris-ct

There are 1 repositories under idris-ct topic.

  • cct-exercises

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

    Language:Idris