Code

Toward a stable API#31

Code

Merged

andrewbranch merged 24 commits intomainarethetypeswrong/arethetypeswrong.github.io:mainfrom checkerarethetypeswrong/arethetypeswrong.github.io:checkerCopy head branch name to clipboardJun 11, 2023

Commits

Commits on Apr 18, 2023

• WIP

  andrewbranch

  committed
  2e6a6c1

  Copy full SHA for 2e6a6c1

Commits on Apr 29, 2023

• Merge branch 'main' into checker

  andrewbranch

  committed
  381a2e5

  Copy full SHA for 381a2e5

Commits on Apr 30, 2023

• Collect internal resolution errors

  andrewbranch

  committed
  e0a7d68

  Copy full SHA for e0a7d68

• WIP

  andrewbranch

  committed
  8f00a4a

  Copy full SHA for 8f00a4a

Commits on May 2, 2023

• I think it’s working!

  andrewbranch

  committed
  d822013

  Copy full SHA for d822013

Commits on May 10, 2023

• WIP cause I’m doing something crazy

  andrewbranch

  committed
  b2fc480

  Copy full SHA for b2fc480

Commits on May 29, 2023

• WIP

  andrewbranch

  committed
  6b3a358

  Copy full SHA for 6b3a358

Commits on May 30, 2023

• WIP

  andrewbranch

  committed
  a1f4abe

  Copy full SHA for a1f4abe

Commits on Jun 5, 2023

• Finish checkPackage

  andrewbranch

  committed
  0525b40

  Copy full SHA for 0525b40

• Progress on problems

  andrewbranch

  committed
  63cb858

  Copy full SHA for 63cb858

Commits on Jun 9, 2023

• Reorganize

  andrewbranch

  committed
  a1dd044

  Copy full SHA for a1dd044

Commits on Jun 10, 2023

• More cleaning up

  andrewbranch

  committed
  1d6ed8d

  Copy full SHA for 1d6ed8d

• Merge branch 'main' into checker

  andrewbranch

  committed
  e8befc6

  Copy full SHA for e8befc6

Commits on Jun 11, 2023

• Update CLI

  andrewbranch

  committed
  78eee6d

  Copy full SHA for 78eee6d

• Fix implementation resolution cache issue

  andrewbranch

  committed
  159c37c

  Copy full SHA for 159c37c

• Rename some stuff

  andrewbranch

  committed
  747bafe

  Copy full SHA for 747bafe

• Delete old emoji source

  andrewbranch

  committed
  dfdd9de

  Copy full SHA for dfdd9de

• Add changeset

  andrewbranch

  committed
  d107355

  Copy full SHA for d107355

• Update snapshot for API change

  andrewbranch

  committed
  83cfeaf

  Copy full SHA for 83cfeaf

• Merge branch 'main' into checker

  andrewbranch

  committed
  37bd8a6

  Copy full SHA for 37bd8a6

• Merge branch 'main' into checker

  andrewbranch

  committed
  3b1ffca

  Copy full SHA for 3b1ffca

• Fix some problems

  andrewbranch

  committed
  0e893b9

  Copy full SHA for 0e893b9

• Fix snapshots (????)

  andrewbranch

  committed
  06924ab

  Copy full SHA for 06924ab

• Process was exiting before stdout buffer was clear!

  andrewbranch

  committed
  943a258

  Copy full SHA for 943a258