Skip to content
Pro
Block or report user

Report or block sfs

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
Block or report user

Report or block sfs

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. Forked from JetBrains/kotlin

    The Kotlin Programming Language

    Kotlin

  2. Automation for de Bruijn syntax and substitution in Coq

    Coq 22 7

289 contributions in the last year

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

Contribution activity

September 2019

Created a pull request in JetBrains/kotlin that received 2 comments

psi2ir: Optimize generated data class members

This PR changes DataClassMembersGenerator to Access underlying fields directly, instead of using accessors. This is safe since data classes are al…

+533 −666 2 comments

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

You can’t perform that action at this time.