Block or report user

Popular repositories

  1. hott-agda

    Agda 44 4

  2. papers

    Research papers

    1

  3. cubicaltt

    Forked from mortberg/cubicaltt

    Haskell 1 1

  4. codepenent

    TeX

191 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 2017

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