Block or report user

Report or block adamgundry

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Well-Typed LLP

Pinned repositories

  1. type-inference

    Unification and type inference algorithms

    Haskell 68 3

  2. inch

    A type-checker for Haskell with integer constraints

    Haskell 35 2

  3. uom-plugin

    Units of measure as a GHC typechecker plugin

    Haskell 26 5

  4. records-prototype

    A prototype implementation of overloaded record fields for GHC

    Haskell 8

  5. ghc-proposals

    Forked from ghc-proposals/ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    2 1

51 contributions in the last year

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

Contribution activity

August 2018

Created a pull request in acid-state/acid-state that received 3 comments

State machine testing

This adds some simple state machine tests that compare an acid-state component with a pure model. This is a start, though there is no doubt more th…

+523 −25 3 comments

Created an issue in acid-state/acid-state that received 1 comment

Multiple packages

Following on from #88 (comment), I'd like to propose splitting up acid-state into multiple packages. This is motivated by #96 and #98 introducing n…

1 comment

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