Posts tagged "agda"

• 2022-10-08 – Simple(r?) simplices
• 2022-09-30 – Three different thinnings
• 2020-11-14 – true is false
• 2019-07-19 – Insertion sort "toposorts" when given a partial order
• 2018-12-12 – Finding correct (lens) laws
• 2018-08-29 – Notes on Agda's termination checker
• 2018-07-12 – Linear Lambda Calculus in Agda

twitter github email linkedin stackoverflow