Outside, hopefully :)
Block or report user

Report or block kwf

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. StrictCheck

    Keep your laziness in check!

    Haskell 21 2

  2. GQFC

    Source material for "Functional Pearl: Getting a Quick Fix on Comonads"

    Haskell 36

  3. antalsz/urn-random

    A Haskell package for updatable discrete distributions

    Coq 6

  4. Systematic

    Teaching network programming & distributed systems, with lots of types


619 contributions in the last year

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

Contribution activity

February 2019

2 contributions in private repositories Feb 1

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