Labels

• 0. parsing

  Things related to lexer and parser
• 1. type inference

  Type inference and the Unif language
• 2. effect inference

  Effect inference and the ConE language
• 2.1. pattern-matching

  Compilation of deep pattern-matching
• 2.2. sat

  SAT-solver
• 3. core

  The Core language
• 4. eval

  The Untyped language and the evaluator
• 4.1. repl

  REPL
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• error messages

  Improving error messages provided to the programmer
• good first issue

  Good for newcomers
• invalid

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

  New ideas that should be discussed, but not necessarily implemented
• stdlib

  Work on standard library
• wontfix

  This will not be worked on