All pull requests

Pull requests

• Text-native lexer/parser internals (closes #478)

  #480·mgajda opened May 8, 2026Contributor·

  ·
  1

  5

• Adding a "type" prefix when printing type operator import specs with import lists

  #475·viktorcsimma opened Jul 22, 2023·

  ·

• NumericUnderscores lexing #455

  #457·merc1031 opened Jun 29, 2020·

  ·

• HexFloatLiteral lexing #455

  #456·merc1031 opened Jun 29, 2020·

  ·
  1

• Support StandAloneKindSignatures and visible forall quantification

  #454·AshleyYakeley opened Jun 2, 2020Contributor·

  ·

• Fix parsing of (~)

  #428·yairchu opened Feb 2, 2019·

  ·
  4

• Fix layout process for empty let statements

  #416·mizunashi-mana opened Oct 6, 2018·

  ·
  1

  1

• #371, fix multiline LANGUAGE pragmas

  #408·bravit opened May 6, 2018·

  ·
  1

• Support parsing Backpack signatures.

  #355·ezyang opened Mar 12, 2017·

  ·
  2

• Eta support

  #353·rahulmutt opened Feb 26, 2017·

  ·
  2