Posts tagged with agda

2024 Dec 16 · CRDTs in Agda
2024 Oct 19 · Reflections on my first type theory talk
2024 Sep 18 · Visual examples of hcomp
2024 Jun 28 · Boolean equivalences
2024 Jun 27 · Agda syntax highlighting in my blog!
2023 Apr 21 · Formally proving true ≢ false in Homotopy Type Theory with Agda