Popular repositories Loading

1. miller miller Public

   Miller/pattern unification in Agda

   Agda 69 1

2. cubical-demo cubical-demo Public

   Agda 45 12

3. parametric-demo parametric-demo Public

   Agda 12

4. hottest-talk hottest-talk Public

   Agda 7 1

5. hereditary hereditary Public

   Hereditary Substitution

   5

6. cat cat Public

   Forked from fredefox/cat

   Formalizing Category Theory in Agda using Cubical Type Theory

   Agda 3