Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 13, 2024

• Merge pull request #718 from sebastiaanspeck/patch-1

  rnkaufman

  authored
  ad281b5

• Update why-tree-sitter.md

  sebastiaanspeck

  authored
  0edef40

• Update why-tree-sitter.md

  sebastiaanspeck

  authored
  ada883d

Commits on Mar 25, 2024

• Merge pull request #716 from github/this-branch-name-left-intentionally-blank

  robrix

  authored
  7bd2ac2

• Merge branch 'main' into this-branch-name-left-intentionally-blank

  robrix

  authored
  6700d99

• Merge pull request #703 from SamB/SamB-patch-1

  robrix

  authored
  d7f9e09

• Spacing.

  robrix

  committed
  dff78b1

• -XLambdaCase.

  robrix

  committed
  54f3aa7

• Subterms.

  robrix

  committed
  e4cf5c1

• 🔥 Argument.

  robrix

  committed
  b88c143

• Instances.

  robrix

  committed
  b02b9be

• Export the constructors.

  robrix

  committed
  5d40d0f

• 🔥 the old Python type.

  robrix

  committed
  cdad4dc

• Evaluate terms as directly as possible.

  robrix

  committed
  1fc29e8

• Merge branch 'main' into SamB-patch-1

  robrix

  authored
  36c6eae

Commits on Mar 20, 2024

• Conditionals.

  robrix

  committed
  cd62a56

• Parse imports.

  robrix

  committed
  5e88d14

• ffs

  robrix

  committed
  90ce217

• Stub in parsing.

  robrix

  committed
  3edbdd0

• Merge pull request #715 from github/always-be-treeing

  robrix

  authored
  3baf0b4

Commits on Mar 19, 2024

• Define subterms using mendlerPara.

  robrix

  committed
  1d70d13

• Define para using mendlerPara.

  robrix

  committed
  ad4dba6

• Mendler-style paramorphism.

  robrix

  committed
  d22bd1e

• UndecidableInstances instead of QuantifiedConstraints.

  robrix

  committed
  809ab74

• Define foldTerm using mendlerTerm.

  robrix

  committed
  07a5740

• Align.

  robrix

  committed
  bcca57a

• Mendler-style recursion.

  robrix

  committed
  c746f93

• Define subterms paramorphically.

  robrix

  committed
  050188f

• Paramorphic fold.

  robrix

  committed
  3861c38

• General fold over Terms.

  robrix

  committed
  ff22c0b

• Terms are free monads.

  robrix

  committed
  6812e35

• 🔥 extensions.

  robrix

  committed
  1df04e8

• Define an Ord1 instance for Python.

  robrix

  committed
  5ccf337

• Define an Eq1 instance for Python.

  robrix

  committed
  4ed026b

• Dial the fancy even further back.

  robrix

  committed
  0297116

Pagination

PreviousNext