Skip to content
  • The Spire Programming Language

    Agda 47 2 BSD-3-Clause Updated Oct 23, 2014
  • Fork of Unbound. Adds monadic substitutions and Read support.

    Coq Updated Aug 20, 2014
  • Spire development blog

    JavaScript Updated Aug 14, 2014
  • Code from Gundry's thesis

    Haskell 1 1 Updated Dec 20, 2013
  • A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.

    Haskell MIT Updated Nov 27, 2013

Top languages

Loading…

Most used topics

Loading…

You can’t perform that action at this time.