Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 19, 2025

• anyNE and allNE

  clark800

  committed
  0ce9ede

  Copy full SHA for 0ce9ede

Commits on Mar 16, 2025

• reduceNE and crossNE

  clark800

  committed
  39b2fd3

  Copy full SHA for 39b2fd3

Commits on Mar 12, 2025

• Add extract function

  clark800

  committed
  a628bd2

  Copy full SHA for a628bd2

Commits on Jan 26, 2025

• Add joinNE

  clark800

  committed
  06e2503

  Copy full SHA for 06e2503

Commits on Jan 25, 2025

• Add toNEList and reverseNE

  clark800

  committed
  d6e5ab7

  Copy full SHA for d6e5ab7

Commits on Jan 24, 2025

• Update conceal

  clark800

  committed
  570584c

  Copy full SHA for 570584c

Commits on Jan 23, 2025

• Add headNE

  clark800

  committed
  d1d24f2

  Copy full SHA for d1d24f2

• Add NonEmptyList

  clark800

  committed
  f62b476

  Copy full SHA for f62b476

Commits on Feb 19, 2024

• Allow values for negative metavariables

  clark800

  committed
  3b5471c

  Copy full SHA for 3b5471c

Commits on Jan 7, 2024

• Revert "Unify annotations"

  Show description for 91fd573
  clark800

  committed
  91fd573

  Copy full SHA for 91fd573

• Unify annotations

  clark800

  committed
  b8753a1

  Copy full SHA for b8753a1

• Check for redundant for-binders

  clark800

  committed
  2c7cce5

  Copy full SHA for 2c7cce5

Commits on Jan 6, 2024

• Rename

  clark800

  committed
  d3afbaa

  Copy full SHA for d3afbaa

Commits on Dec 3, 2023

• Remove all recursion checks in unify

  clark800

  committed
  a8ee000

  Copy full SHA for a8ee000

• Remove recursion check in unify after evaluate

  clark800

  committed
  9662498

  Copy full SHA for 9662498

• Dual annotations for constructors

  clark800

  committed
  5dcfcb6

  Copy full SHA for 5dcfcb6

• Rename

  clark800

  committed
  d6823ec

  Copy full SHA for d6823ec

Commits on Dec 1, 2023

• Add domains in generalize

  clark800

  committed
  69f1b55

  Copy full SHA for 69f1b55

• Show annotations in dump mode

  clark800

  committed
  59e6b2d

  Copy full SHA for 59e6b2d

• Add test case

  clark800

  committed
  687282b

  Copy full SHA for 687282b

• Use either in generalize

  clark800

  committed
  79eded0

  Copy full SHA for 79eded0

• Use either in bind

  clark800

  committed
  e46a190

  Copy full SHA for e46a190

• Use either in bind

  clark800

  committed
  4ceb2e3

  Copy full SHA for 4ceb2e3

Commits on Nov 30, 2023

• Use either in parseToken

  clark800

  committed
  21deb94

  Copy full SHA for 21deb94

• Use either in parse

  clark800

  committed
  15d5026

  Copy full SHA for 15d5026

• Use either in interpret

  clark800

  committed
  6c42f36

  Copy full SHA for 6c42f36

• Fix newLeaf

  clark800

  committed
  ec6f4f7

  Copy full SHA for ec6f4f7

• Cleanup

  clark800

  committed
  bc71a0d

  Copy full SHA for bc71a0d

• Decouple Tag from lex.zero

  clark800

  committed
  8ff3def

  Copy full SHA for 8ff3def

• Refactor lex.zero

  clark800

  committed
  689c39c

  Copy full SHA for 689c39c

• Add test case

  clark800

  committed
  f6a127b

  Copy full SHA for f6a127b

• Allow annotations on definitions

  clark800

  committed
  541a3a6

  Copy full SHA for 541a3a6

• Fix size function in make script

  clark800

  committed
  ad39240

  Copy full SHA for ad39240

• Fix warnings

  clark800

  committed
  19e7867

  Copy full SHA for 19e7867

Commits on Nov 7, 2023

• Fix make script

  clark800

  committed
  c867029

  Copy full SHA for c867029

Pagination

Previous

Next