Block or report user

Organizations

@input-output-hk

Pinned repositories

  1. holotype

    An attempt to reimagine knowledge interaction.

    Haskell 2

  2. nix-pills-compact-edition

    Nix Pills: Compact Edition

    Shell 11

  3. reflex-glfw

    A GLFW-b adapter for the Haskell Reflex FRP implementation.

    Haskell 3 1

  4. nix-install-vendor-gl

    Ensure that a system-compatible OpenGL driver is available for `nix-shell`-encapsulated programs.

    Shell 10 3

  5. nh

    Manage Nix Haskell override sets

    Shell 9

2,839 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 2018

Created a pull request in NixOS/nixpkgs that received 10 comments

sayonara: init at 1.0.0-git5-20180115

Motivation for this change Fix #34024 Things done Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on no…

+47 −0 10 comments

Created an issue in dhall-lang/dhall-lang that received 2 comments

Lack of unification prevents true separation of data and type "schema"

The type inference algorithm goes in a single direction / isn't unification, which makes the interesting use case of data/schema separation less er…

2 comments

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