Skip to content


  • Arctic Code Vault Contributor


@enso-org @Luna-Tensorflow


  1. Quartz Language

    Haskell 1

  2. Formal foundations for GADTs in Scala


  3. Database frontend for storing and processing structured data within a single table.

    Scala 1

  4. Hybrid visual and textual functional programming.

    Scala 3.9k 117

906 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri
Activity overview
Contributed to enso-org/enso, enso-org/enso-staging, radeusgd/QuotedPatternMatchingProof and 5 other repositories

Contribution activity

March 2021

Opened 1 pull request in 1 repository

Created an issue in enso-org/enso that received 2 comments

Internal ClassCastException Can Be Triggered From Enso Code

General Summary A ClassCastException from within GetFieldNode is exposed to the user. Steps to Reproduce Execute the following code: from Base i…


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