Block or report user

Report or block GallagherCommaJack

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Haskell-JSON-Patch

    JSON Patch Implementation in Haskell

    Haskell 7 2

  2. scheming-machine

    Simple little scheme interpreter

    Haskell 3

  3. tt-provability

    Systems for doing provability logic in type theory

    Agda 3 1

  4. outrageous-interpreter

    Automatically exported from

    Coq 1

  5. types-in-types

    Coq 1

  6. markets


    Python 1 2

12 contributions in the last year

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

Contribution activity

July 2018

GallagherCommaJack has no activity yet for this period.

June 2018

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