Popular repositories Loading

1. spire spire Public

   The Spire Programming Language

   Agda 59 2

2. type-inference type-inference Public

   Code from Gundry's thesis

   Haskell 1 1

3. substM substM Public

   A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.

   Haskell

4. spire.github.io spire.github.io Public

   Spire development blog

   JavaScript 1

5. replib replib Public

   Fork of Unbound. Adds monadic substitutions and Read support.

   Coq