Block or report user

Report or block frantisekfarka

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. CoALP

    Coalgebraic Logic Programing itnerpreter

    Haskell

  2. cotcr

    Formalisation of a proof of soundness of corecursive type-class resolution

    Agda

  3. ac21007_lab

    Dundee AC21007 Haskell lab assignments

    TeX 1

  4. ghc-dsi

    GHC Default Superclass Instances extension

    Haskell

  5. ghc-examples

    Example sources for compilation with ghc-dsi

    Haskell

123 contributions in the last year

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

Contribution activity

July - September 2018

frantisekfarka has no activity yet for this period.

June 2018

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