Block or report user

Popular repositories

  1. CId

    a little category theory in Idris

    Idris 3

  2. book

    Forked from HoTT/book

    A textbook on informal homotopy type theory

    TeX

  3. Idris-dev

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell

  4. rezk_completion

    Forked from benediktahrens/rezk_completion

    Rezk completion

    Coq

  5. HoTT

    Forked from JasonGross/HoTT

    Homotopy type theory

    Coq

  6. SeqDecProbs

    Forked from nicolabotta/SeqDecProbs

    Idris

36 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January - June 2017

TimRichter has no activity yet for this period.

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