Skip to content

Navigation Menu

Sign in
Appearance settings
spire

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@spire

The Spire Programming Language

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

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 5 of 5 repositories

Top languages

Loading…

Most used topics

Loading…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.