Pinned Loading

1. evertedsphere/silica evertedsphere/silica Public archive

   optics for Haskell with the most amazing type errors you've seen

   Haskell 242 7

2. evertedsphere/shorshe evertedsphere/shorshe Public

   freshly-fermented, dependently-typed mustard, with a substructural aftertaste

   Haskell 31

3. evertedsphere/sound-and-complete evertedsphere/sound-and-complete Public archive

   An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

   Haskell 84 6

4. evertedsphere/how-to-implement-dependent-type-theory evertedsphere/how-to-implement-dependent-type-theory Public archive

   A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

   Haskell 38 1

5. evertedsphere/rien evertedsphere/rien Public archive

   Predictable Haskell development environments with Cabal and Nix.

   Nix 65 1

6. evertedsphere/preposterous evertedsphere/preposterous Public archive

   An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"

   Haskell 17 1