Have an account? Sign in
Agda
Last updated last month
​Learn you an Agda​
​Agda Standard Library​
​Introductions to Agda​
​Category Theory in Agda - Learning exercise.
​Categories - Categories parametrized by morphism equality, in Agda.