Popular repositories Loading

1. agda-sessions agda-sessions Public

   Learn the Agda basics in three 2-hour sessions.

   Agda 57 7

2. menkar menkar Public

   The multimode presheaf proof-assistant

   Haskell 36

3. teaching-tt teaching-tt Public

   Materials for teaching type theory

   HTML 4

4. ctx-alg ctx-alg Public

   Algebraic theories with contexts, in cubical Agda

   Agda 3 1

5. willow willow Public

   Personal agda library

   Agda 2

6. cartesian-2dtt cartesian-2dtt Public

   TeX 2