Labels

• bug
• D-easy
• D-hard
• D-medium

  medium difficulty
• duplicate
• feature
• help wanted

  contributions welcome!
• I-arith
• I-calculi
• I-cnf

  CNF and type inference
• I-core-types

  core data types and data structures
• I-datatypes

  theory of datatypes
• I-heuristics

  heuristics, portfolio
• I-ho

  higher-order stuff
• I-induction
• I-parsing
• I-perf

  performance related issues
• I-proof-check

  proof checking
• I-rewriting

  term rewriting (deduction modulo)
• I-superposition
• I-tooling

  auxiliary tooling
• invalid
• question
• refactoring
• research
• tweaking
• wontfix