Block or report user


@agda @fpco

Popular repositories

  1. suggest

    Simple auto completion web server

    JavaScript 27 4

  2. sundown

    Haskell bindings to the sundown markdown library

    C 10 1

  3. hakyll-agda

    Hakyll support for Agda literate files

    Haskell 10 1

  4. haskell-readability

    Short article about Haskell, python, and readability

    Haskell 8

  5. ny-haskell-agda

    Code and slides form my talk at NY Haskell

    8 1

  6. agdastuff

    Assorted Agda code.

    Haskell 7

250 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in fpco/store that received 1 comment

Add `Contravariant` for `Size`

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