Skip to content

@spire The Spire Programming Language

Change the repository type filter

All

    Repositories list

    5 repositories

    • spire

      Public
      The Spire Programming Language
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •2•59•4•0•Updated Oct 23, 2014Oct 23, 2014

    • replib

      Public
      Fork of Unbound. Adds monadic substitutions and Read support.
      Coq
      •0•0•0•0•Updated Aug 20, 2014Aug 20, 2014

    • spire.github.io

      Public
      Spire development blog
      JavaScript
      •1•0•0•0•Updated Aug 14, 2014Aug 14, 2014

    • type-inference

      Public
      Code from Gundry's thesis
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Dec 20, 2013Dec 20, 2013

    • substM

      Public
      A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 27, 2013Nov 27, 2013