Code

Labeled Tuples#1143

Code

Closed

WondAli wants to merge 7 commits intodevhazelgrove/hazel:devfrom labeled-tuplehazelgrove/hazel:labeled-tupleCopy head branch name to clipboard

+782-118

Commits

Commits on Nov 19, 2023

• moved all labeled_tuple progress to a new branch

  WondAli

  committed
  239cf23

  Copy full SHA for 239cf23

Commits on Dec 6, 2023

• some maketerm cleanup

  WondAli

  committed
  a7775ad

  Copy full SHA for a7775ad

Commits on Dec 18, 2023

• committing progress before refactor

  WondAli

  committed
  508b369

  Copy full SHA for 508b369

Commits on Dec 19, 2023

• saving commit before merging with dev evaluator rewrite

  WondAli

  committed
  f8e643c

  Copy full SHA for f8e643c

Commits on Jan 7, 2024

• merged with dev, working on cleanup and error handling

  WondAli

  committed
  20c2a71

  Copy full SHA for 20c2a71

• error fixes

  WondAli

  committed
  6060493

  Copy full SHA for 6060493

Commits on Feb 5, 2024

• finished label rearrangements, though need cleanup

  WondAli

  committed
  f56a278

  Copy full SHA for f56a278