Soham Chowdhury

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

evertedsphere

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

evertedsphere

Highly polymorphic algebraic structures with custom deriving strategies

evertedsphere

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

evertedsphere

Predictable Haskell development environments with Cabal and Nix.

evertedsphere

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

evertedsphere

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

evertedsphere