Skip to content


  • Arctic Code Vault Contributor


  1. A totality checker for a dependently typed language implemented in Haskell.

    TeX 2

  2. Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism

    Haskell 2

  3. Application-layer smart contracts & tooling.

    10 1

  4. A more elegant language for a more civilized age.

    Haskell 173 5

  5. A dependently typed language core (lambda calculus) written in Haskell.

    Haskell 1

546 contributions in the last year

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

Contribution activity

October 2020

6 contributions in private repositories Oct 8 – Oct 20

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

You can’t perform that action at this time.