Block or report user

Organizations

@JetBrains

Pinned repositories

  1. go-lang-plugin-org/go-lang-idea-plugin

    Google Go language IDE built using the IntelliJ Platform

    Java 4.4k 529

  2. YaccConstructor/QuickGraph

    Generic Graph Data Structures and Algorithms for .NET

    C# 99 48

  3. hwproj/hwproj

    Homeworks project

    Ruby 2 16

  4. meta-trik

    Forked from trikset/meta-trik

    Meta layer for trik platform

    Shell

541 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

Created an issue in Microsoft/visualfsharp that received 3 comments

Possible overloads errors ranges are trimmed

When getting type check errors, possible overloads are shown as errors with trimmed ranges. What is the purpose of the trimming? For me it looks li…

20 contributions in private repositories Oct 2 – Oct 6

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