Richard Eisenberg goldfirere

I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

Achievements

singletons singletons Public

Fake dependent types in Haskell using singletons

Haskell 295 39
glambda glambda Public

The home of the Glamorous Glambda interpreter

Haskell 227 31
thesis thesis Public

Richard A. Eisenberg's PhD Dissertation

Haskell 206 6
units units Public

The home of the units Haskell package

Haskell 101 21
effects effects Public

A Haskell translation of Idris's original algebraic effects library

Haskell 41 3
ghc ghc Public

Forked from ghc/ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

Haskell 24 1

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.