Pinned Loading

1. pi-forall pi-forall Public

   A demo implementation of a simple dependently-typed language

   Haskell 617 98

2. lambda-n-ways lambda-n-ways Public

   Benchmarks for capture-avoiding substitution

   HTML 122 8

3. dth dth Public

   Examples of Dependently-typed programs in Haskell

   Haskell 308 26

4. graded-haskell graded-haskell Public

   Graded Dependent Type systems

   Coq 25 1

5. rebound rebound Public

   # A simple variable binding library based on well-scoped indices and environments

   Haskell 29 2

6. pl-semantics-and-types pl-semantics-and-types Public

   CIS 7000-01 Fall 2025 Course materials

   Rocq Prover 13 5