Adam Gundry

type-inference. Unification and type inference algorithms

inch. A type-checker for Haskell with integer constraints

uom-plugin. Units of measure as a GHC typechecker plugin

records-prototype. A collection of prototype implementations of overloaded record fields for GHC

hsmith. Random generation of well-typed Haskell programs

type-safe-sql. Haskell

uom-prototype. Units of measure prototype for GHC Haskell

tech-proposals. The Haskell Foundation Tech Proposal Process

ghc-proposals. Proposed compiler and language changes for GHC and GHC/Haskell

ghc. Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)

units-parser. A parser for units of measure