Popular repositories Loading

1. AbstractMachines AbstractMachines Public

   Abstract machines for functional programming languages

   15

2. pointer-abstract-machine pointer-abstract-machine Public

   The Pointer Abstract Machine from Sec. 9 of Curien & Herbelin's "The Duality of Computation"

   Haskell 6

3. bibliography bibliography Public

   Hand-curated bibliography for my projects.

   TeX 6 1

4. HoTT-StudyGroup HoTT-StudyGroup Public

   Tübingen Study Group for Homotopy Type Theory

   Lean 5 1

5. algebraic-subtyping algebraic-subtyping Public

   Haskell implementation of algebraic subtyping

   Haskell 3

6. tuple-fields tuple-fields Public

   Accessing tuple fields in Haskell using record dot syntax.

   Haskell 3