Pinned Loading

1. polyvariadic/haskell-challenges polyvariadic/haskell-challenges Public

   Code challenges to solve with Haskell

   Haskell 219 38

2. sketches sketches Public

   A Haskell blog

   Haskell 155 4

3. inference-in-agda inference-in-agda Public

   A tutorial on how Agda infers things

   HTML 68 3

4. Generic Generic Public

   A library for doing generic programming in Agda

   Agda 39 4

5. Cubes Cubes Public

   A dependently typed type checker for a TT with intervals

   Agda 24 1

6. OTT OTT Public

   Observational Type Theory as an Agda library

   Agda 59 2