Skip to content
  • EPFL
  • Switzerland
Pro
Block or report user

Report or block LPTK

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@epfldata @cod-insa
  • EPFL
  • Switzerland
Block or report user

Report or block LPTK

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Squid – type-safe metaprogramming and compilation framework for Scala

    Scala 157 11

  2. Beautiful Syntax for Sealed Class Hierarchies

    Scala 35 1

  3. Companion repository to the `Dual to Iterator' blog post

    Scala 6

785 contributions in the last year

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

Contribution activity

January 2020

Created an issue in lampepfl/dotty that received 1 comment

Dotty should reason about singleton types gaining new type information

I think this is a known problem, but I did not find an issue currently documenting it. Scala has these two important features: path-dependent types

1 comment
8 contributions in private repositories Jan 7 – Jan 8

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

You can’t perform that action at this time.