Block or report user

Report or block mcoblenz

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Obsidian

    Obsidian language development

    Scala 14 1

  2. Glacier

    Glacier is a type annotation extension to Java that enforces transitive class immutability.

    Java 4 4

  3. checker-framework

    Forked from typetools/checker-framework

    Pluggable type-checking for Java

    Java

  4. upo

    Forked from achlipala/upo

    The Ur/Web People Organizer

    UrWeb

  5. intellij-community

    Forked from JetBrains/intellij-community

    IntelliJ IDEA Community Edition

    Java

  6. solidity

    Forked from ethereum/solidity

    The Solidity Contract-Oriented Programming Language

    C++

220 contributions in the last year

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

Contribution activity

September 2018

Created an issue in mcoblenz/Obsidian that received 1 comment

Disallow access to fields of non-this references

Consistent with the formalism. Otherwise we have to track types of fields of arbitrary objects and then worry about aliasing.

1 comment

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