Popular repositories Loading

1. parser-combinators parser-combinators Public

   Agda 10 2

2. equality equality Public

   Agda 9 2

3. dependent-lenses dependent-lenses Public

   Agda 8 1

4. partiality-monad partiality-monad Public

   Agda 6 2

5. dependently-typed-syntax dependently-typed-syntax Public

   Agda 5

6. chi chi Public

   Agda 2