Adam Gundry

icon company Well-Typed LLP @well-typed

Results 3 repositories owned by Adam Gundry

type-inference

119
Stars
5
Forks
Watchers

Unification and type inference algorithms

verified publisher icon adamgundry

inch

40
Stars
2
Forks
Watchers

A type-checker for Haskell with integer constraints

verified publisher icon adamgundry

uom-plugin

30
Stars
5
Forks
Watchers

Units of measure as a GHC typechecker plugin

verified publisher icon adamgundry