Block or report user

Popular repositories

  1. agda

    Forked from masondesu/agda

    Agda is a dependently typed programming language / interactive theorem prover. Bug tracker:

    0 Haskell

23 contributions in the last year

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

Contribution activity First issue Joined GitHub

September 2016

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