Posts tagged with "agda"

CRDTs in Agda

Reflections on my first type theory talk

Visual examples of hcomp

Boolean equivalences

Agda syntax highlighting in my blog!

Formally proving true ≢ false in Homotopy Type Theory with Agda