Block or report user
  • Joined on Sep 28, 2010

Popular repositories

  1. agda-software-foundations

    Porting of software foundations book to Agda

    19 Agda

  2. type-theory

    Being the materials of type theory course at UFOP

    5 Haskell

  3. unification

    Formalisation of a type unification algorithm in Coq proof assistant.

    3 Coq

  4. idrisregexp

    Regular expression matching in Idris

    3 Idris

  5. monoid-prover

    A reflective tactic for proving monoid equalities in Idris

    2 Idris

  6. mptc

    type inference for haskell

    2 Haskell

219 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

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