6 open source projects by goldfirere

Fake dependent types in Haskell using singletons

Richard A. Eisenberg's PhD Dissertation

The home of the Glamorous Glambda interpreter

The home of the units Haskell package

Public repo for the units-defs package of well-typed unit definitions.

Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014