idris-ct

There are 1 repositories under idris-ct topic.

  • mstn/cct-exercises

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

    Language:Idris10