Block or report user

Report or block goldfirere

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. singletons

    Fake dependent types in Haskell using singletons

    Haskell 163 26

  2. thesis

    Richard A. Eisenberg's PhD Dissertation

    Haskell 161 7

  3. glambda

    The home of the Glamorous Glambda interpreter

    Haskell 139 20

  4. units

    The home of the units Haskell package

    Haskell 71 13

  5. effects

    A Haskell translation of Idris's original algebraic effects library

    Haskell 39 4

  6. ghc

    Forked from ghc/ghc

    Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

    Haskell 25 1

357 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2019

Created a pull request in ghc-proposals/ghc-proposals that received 21 comments

Updated partial type signatures

+418 −0 21 comments

Created an issue in goldfirere/th-desugar that received 1 comment

Consider abandoning `DPred`

Once upon a type, predicates were much simpler than ordinary types. In those halcyon days, it made sense to separate DPred from DType so that code …

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.