Block or report user

Report or block pheymann

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@scala-hamburg @scalasummerschool @lambda-pi-meetup

Pinned repositories

  1. typedapi

    Build your web API on the type level.

    Scala 145 10

  2. specdris

    A test framework for Idris

    Idris 41 8

  3. scalasummerschool/lectures

    Learn Functional Programming in Scala

    Scala 85 16

  4. scala-reveal-js

    Build reveal.js presentations in Scala

    JavaScript 44 3

589 contributions in the last year

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

Contribution activity

January 2019

pheymann has no activity yet for this period.

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