Block or report user

Report or block jameshaydon

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. smproc

    A well-typed symmetric-monoidal category of concurrent processes

    Idris 14 1

  2. cospanProc

    Composing coroutines via decorated cospans

    Idris 1

  3. idris-graphql

    Idris GraphQL

    Idris 9 1

  4. idris-elixir

    A code-generator for Idris that targets Elixir

    Haskell 43

658 contributions in the last year

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

Contribution activity

October 2018

Created a pull request in oscoin/radicle that received 11 comments

Authenticated radicle data

This PR adds the following: A Merkle-tree implementation. The adjoint one was not suitable because: Can't choose hash. Only proof of inclusion, n…

+491 −4 11 comments

Created an issue in oscoin/radicle that received 1 comment

38 contributions in private repositories Oct 2 – Oct 17

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