Block or report user


@scalaz @ermine-language @unisonweb

Popular repositories

  1. pru

    Simple (100 line) XML and JSON writing combinators

    Scala 19 5

  2. scalaz7-experimental

    scalaz core classes using different code organization

    Scala 8 5

  3. datalog-refactoring


    Haskell 3 1


    Personal site and blog

    HTML 3

  5. elm-execute

    Execute scheduling and delivery of `Signal.Message` values in Elm

    JavaScript 2

  6. bound

    Forked from ekmett/bound

    Combinators for manipulating locally-nameless generalized de Bruijn terms


669 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 functional-streams-for-scala/fs2 that received 3 comments

Fix issue with use of "root" `uncons` / `uncons1` and clarify docs

I was looking into clarifying the docs on uncons and uncons1 to say that they should be used in conjunction with Stream.scope (see #797) and notice…

Created an issue in unisonweb/unison that received 11 comments

RFC: Unified APIs for distributed programming, durable state, fault-tolerance and live redeployments (v2)

I put together a new version of the API, based on the discussion in #141 and some conversations in the Gitter room. Thanks to everyone who particip…

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