Are you happy with your logging solution? Would you help us out by taking a 30-second survey? Click here


Statistics on agda-semigroupoids

Number of watchers on Github 3
Number of open issues 1
Main language Agda
Open pull requests 0+
Closed pull requests 0+
Last commit over 3 years ago
Repo Created over 3 years ago
Repo Last Updated over 3 years ago
Size 55 KB
Organization / Authorfreebroccolo
Contributors1
Page Updated
Do you use agda-semigroupoids? Leave a review!
View agda-semigroupoids activity
View on github
Fresh, new opensource launches 🚀🚀🚀
Trendy new open source projects in your inbox! View examples

Subscribe to our mailing list

Evaluating agda-semigroupoids for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

agda-semigroupoids

Semigroupoids in Agda

agda-semigroupoids open issues Ask a question     (View All Issues)
  • over 3 years A model of type theory
agda-semigroupoids list of languages used
Other projects in Agda