Skip to content

Labels

Labels

16 labels

  • 0. parsing

    0. parsing
    Things related to lexer and parser

  • 1. type inference

    1. type inference
    Type inference and the Unif language

  • 2. effect inference

    2. effect inference
    Effect inference and the ConE language

  • 2.1. pattern-matching

    2.1. pattern-matching
    Compilation of deep pattern-matching

  • 2.2. sat

    2.2. sat
    SAT-solver

  • 3. core

    3. core
    The Core language

  • 4. eval

    4. eval
    The Untyped language and the evaluator

  • 4.1. repl

    4.1. repl
    REPL

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • error messages

    error messages
    Improving error messages provided to the programmer

  • good first issue

    good first issue
    Good for newcomers

  • invalid

    invalid
    This issue doesn't seem right (do not use it for bugs: there is a Bug type for that purpose)

  • proposal

    proposal
    New ideas that should be discussed, but not necessarily implemented

  • stdlib

    stdlib
    Work on standard library

  • wontfix

    wontfix
    This will not be worked on