Block or report user

Report or block coot

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. free-algebras

    Free Algebras in Haskell

    Haskell 9

  2. heyting-algebras

    Heyting Algebras


  3. zephyr

    Tree shaking breeze for PureScript CoreFn AST

    Haskell 58 2

  4. purescript-cofree-react-router

    React-Router implemented in PureScript as Cofree Comonad for the Array functor.

    PureScript 17 2

  5. purescript-redox

    Data store(s) for purescript applications. Use your own DSL to update the global state.

    PureScript 19 1

  6. purescript-dsl-example

    A simple CRUD DSL example with an asynchronious interpreter written as Cofree

    PureScript 32

1,036 contributions in the last year

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

Contribution activity

November 2018

Created a pull request in input-output-hk/ouroboros-network that received 2 comments

Build with ghc802 on linux

Domen Kozar fixed our nix cache: cachix/cachix#147

+3 −4 2 comments

Created an issue in cachix/cachix that received 9 comments

bad archive

Is there a way to re-upload or remove a bad archive, I am getting this error while building using cachix: copying path '/nix/store/k816vh2ia2ar3lbf…


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