Block or report user

Report or block fredrikNordvallForsberg

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@agda @msp-strath

Popular repositories

  1. CatIndInd

    Categorical semantics of induction-induction

    3

  2. Festschrift

    2 1

  3. UoM-fib

    TeX

  4. agdarsec

    Forked from gallais/agdarsec

    Total Parser Combinators in Agda

    Agda

  5. agda-stdlib

    Forked from agda/agda-stdlib

    The Agda standard library

    Agda

  6. mailhide2

    Forked from hanshuo/mailhide2

    A replacement of Google's Mailhide using reCAPTCHA v2

    HTML

140 contributions in the last year

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

Contribution activity

September 2018

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