Block or report user

Report or block alexknvl

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. newtypes

    Scala 85 2

  2. fuzzball

    Scala fuzzer

    Python 41 1

  3. fonline

    fonline-open-source is an open source implementation of the Fallout Online

    C++ 32 5

  4. leibniz

    Leibniz equivalence and Liskov substitutability library for Scala.

    Scala 29 6

  5. polymorphic

    Polymorphic values in Scala

    Scala 29 3

  6. sio

    Scala IO monad

    Scala 17 1

432 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Activity overview
Contributed to scalaz/scalaz-plugin, lampepfl/dotty, scalaz/scalaz and 5 other repositories
Loading

Contribution activity

September 2018

Created an issue in lampepfl/dotty that received 1 comment

GADT pattern matching produces conformance constraints instead of equality (HKTs)

object App { case class Box[F[_]](value: F[Int]) sealed trait IsK[F[_], G[_]] final case class ReflK[F[_]]() extends IsK[F, F] def foo[F[_], G[_]](r:

1 comment

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