Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-sessions
Learn the Agda basics in three 2-hour sessions.
agda-soas
Agda formalisation of second-order abstract syntax
agda2hs
Compiling Agda code to readable Haskell
anuyts.github.io
cartesian-2dtt
ctx-alg
Algebraic theories with contexts, in cubical Agda
menkar
The multimode presheaf proof-assistant
teaching-tt
Materials for teaching type theory
willow
Personal agda library
anuyts's Repositories
anuyts/agda-sessions
Learn the Agda basics in three 2-hour sessions.
anuyts/menkar
The multimode presheaf proof-assistant
anuyts/teaching-tt
Materials for teaching type theory
anuyts/ctx-alg
Algebraic theories with contexts, in cubical Agda
anuyts/cartesian-2dtt
anuyts/willow
Personal agda library
anuyts/agda
Agda is a dependently typed programming language / interactive theorem prover.
anuyts/agda-soas
Agda formalisation of second-order abstract syntax
anuyts/agda2hs
Compiling Agda code to readable Haskell
anuyts/anuyts.github.io
anuyts/cubical
An experimental library for Cubical Agda
anuyts/public
Public notes (a bit like gists, but I want to use git)
anuyts/europroofnet.github.io
Sources of the EuroProofNet web site.
anuyts/natpt-public
Naturality Pretype Theory
anuyts/refs
My bibtex references