Links

• ​Learn you an Agda​

• ​Agda Standard Library​

• ​Introductions to Agda​

• ​Category Theory in Agda - Learning exercise.

• ​Categories - Categories parametrized by morphism equality, in Agda.

• ​Programming Language Foundations in Agda (2018)​