Skip to content


  • Arctic Code Vault Contributor


@agda @lemmatheultimate @spire


  1. Source code accompanying the draft paper "Generic Zero-Cost Reuse for Dependent Types"

    TeX 5

  2. A Super Kawaii Dependently Typed Programming Language

    Haskell 148 5

  3. Source code accompanying the paper "Generic Lookup and Update for Infinitary Inductive-Recursive Types"


  4. Source code accompanying the paper "Generic Constructors and Eliminators from Descriptions"

    TeX 10 1

  5. Source code accompanying the paper "Leveling Up Dependent Types"


  6. Accompanying source code for technical report "Hereditary Substitution by Canonical Evaluation (SbE)".

    TeX 3

0 contributions in the last year

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

Contribution activity

January - October 2020

larrytheliquid has no activity yet for this period.

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

You can’t perform that action at this time.