The Spire Programming Language

Pinned Repositories

replib
Fork of Unbound. Adds monadic substitutions and Read support.
Language:Coq0 2 00
spire
The Spire Programming Language
Language:Agda59 9 62
spire.github.io
Spire development blog
Language:JavaScript0 4 01
substM
A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.
Language:Haskell0 4 00
type-inference
Code from Gundry's thesis
Language:Haskell1 4 01

The Spire Programming Language's Repositories

spire/spire
The Spire Programming Language
Language:Agda59 9 62
spire/type-inference
Code from Gundry's thesis
Language:Haskell1 4 01
spire/replib
Fork of Unbound. Adds monadic substitutions and Read support.
Language:Coq0 2 00
spire/spire.github.io
Spire development blog
Language:JavaScript0 4 01
spire/substM
A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.
Language:Haskell0 4 00