Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 27, 2024

• Add license field to Cargo.toml (tree-sitter#112)

  maxdeviant

  authored
  cf98de2

  Copy full SHA for cf98de2

Commits on Dec 23, 2023

• support upcoming data decls for tuples

  tek

  committed
  dd924b8

  Copy full SHA for dd924b8

Commits on Dec 16, 2023

• support pattern synonym export of all constructors with ..

  tek

  committed
  5260f60

  Copy full SHA for 5260f60

Commits on Dec 14, 2023

• add if guard to block argument exprs

  tek

  committed
  23ad72f

  Copy full SHA for 23ad72f

Commits on Dec 12, 2023

• bump CI versions

  tek

  committed
  d70b321

  Copy full SHA for d70b321

• add test for \cases

  tek

  committed
  b1b3754

  Copy full SHA for b1b3754

• Correctly parse \cases expressions (tree-sitter#106)

  crumbtoo

  authored
  651a75e

  Copy full SHA for 651a75e

Commits on Oct 20, 2023

• bump node-gyp dep

  tek

  committed
  ca10c43

  Copy full SHA for ca10c43

Commits on Sep 25, 2023

• support empty foralls

  tek

  committed
  d7ac98f

  Copy full SHA for d7ac98f

Commits on Jul 27, 2023

• chore: remove unnecessary conflicts

  amaanq

  committed
  9970682

  Copy full SHA for 9970682

Commits on Jun 24, 2023

• linear gadt field support

  tek

  committed
  ba0bfb0

  Copy full SHA for ba0bfb0

Commits on Jun 17, 2023

• fix: free indents on destroy (tree-sitter#100)

  amaanq

  authored
  a75238f

  Copy full SHA for a75238f

Commits on Jun 12, 2023

• support empty record decls

  tek

  committed
  d2345d1

  Copy full SHA for d2345d1

Commits on May 25, 2023

• tweak families

  tek

  committed
  e002d60

  Copy full SHA for e002d60

Commits on May 6, 2023

• add special rule for the GHC fixity decl for the function arrow

  tek

  committed
  c5cb0c8

  Copy full SHA for c5cb0c8

Commits on May 5, 2023

• allow multiple semicolons between statements and one leading semicolon

  tek

  committed
  e89ec14

  Copy full SHA for e89ec14

• handle if guard/list comprehension conflict differently

  tek

  committed
  d0626b2

  Copy full SHA for d0626b2

• close case layouts before closing do braces

  tek

  committed
  14a48ba

  Copy full SHA for 14a48ba

• support explicit quantifier specificity

  tek

  committed
  c8e8b03

  Copy full SHA for c8e8b03

Commits on May 4, 2023

• support type family equation names that are type operators

  tek

  committed
  3a50c9f

  Copy full SHA for 3a50c9f

Commits on May 2, 2023

• support invisible binders in tyfam equations

  tek

  committed
  684638e

  Copy full SHA for 684638e

Commits on Apr 29, 2023

• support invisible type binders in patterns

  tek

  committed
  3241b68

  Copy full SHA for 3241b68

• support kind signatures everywhere in types

  tek

  committed
  ed10ebf

  Copy full SHA for ed10ebf

Commits on Apr 28, 2023

• support prefix notation for unboxed sums

  tek

  committed
  3b96d1a

  Copy full SHA for 3b96d1a

• support type application for invisible dependent variables

  tek

  committed
  bb6921f

  Copy full SHA for bb6921f

Commits on Mar 24, 2023

• support TypeData

  tek

  committed
  98fc7f5

  Copy full SHA for 98fc7f5

• support lazy data type fields

  tek

  committed
  2fbb59c

  Copy full SHA for 2fbb59c

Commits on Mar 14, 2023

• implement OverloadedRecordDot (tree-sitter#98)

  tek

  authored
  fb3c19e

  Copy full SHA for fb3c19e

Commits on Mar 2, 2023

• explicitly inline hidden rule (tree-sitter#96)

  brandonspark

  authored
  0da7f82

  Copy full SHA for 0da7f82

Commits on Feb 9, 2023

• support all valid unicode chars for varsym (tree-sitter#95)

  tek

  authored
  3bdba07

  Copy full SHA for 3bdba07

Commits on Feb 8, 2023

• support unicode qq brackets and the unicode type star

  tek

  committed
  8ba2654

  Copy full SHA for 8ba2654

Commits on Feb 7, 2023

• allow btype in tyfam infix pattern

  tek

  committed
  3b9f849

  Copy full SHA for 3b9f849

• add type family injectivity annotations

  tek

  committed
  f08db06

  Copy full SHA for f08db06

Commits on Nov 19, 2022

• add some unicode variants for builtin symbolic names

  tek

  committed
  aee3725

  Copy full SHA for aee3725

Commits on Sep 30, 2022

• SPM support (tree-sitter#91)

  mattmassicotte

  authored
  bee6b49

  Copy full SHA for bee6b49

Pagination

Previous

Next