Labels

• apple-silicon

  apple-silicon

  Issues related to prototype Apple Silicon support

• area:compiler

  area:compiler

  K compiler (kompile)

• area:frontend

  area:frontend

  K frontend / parsing

• area:haskell-backend

  area:haskell-backend

  Haskell backend

• area:llvm-backend

  area:llvm-backend

  LLVM backend

• area:pyk

  area:pyk

  pyk Python library

• attributes

  attributes

• automerge

  automerge

• bison

  bison

• bug

  bug

• builtins

  builtins

• checks

  checks

• cli

  cli

• cse

  cse

• dedukti

  dedukti

• dependencies

  dependencies

  Pull requests that update a dependency file

• design

  design

• devops

  devops

• discussion

  discussion

• documentation

  documentation

• duplicate

  duplicate

• enhancement

  enhancement

• error-message

  error-message

• feature

  feature

• frontend

  frontend

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

• incremental-compilation

  incremental-compilation

• interface

  interface

• invalid

  invalid