Code

Popl2025 updated#56

Code

Merged

jvanbruegge merged 21 commits intopopl2025jvanbruegge/binder_datatypes:popl2025from popl2025_updatedjvanbruegge/binder_datatypes:popl2025_updatedCopy head branch name to clipboardNov 21, 2024

+2,339-1,846

Commits

Commits on Oct 14, 2024

• Remove outdated theories

  jvanbruegge

  committed
  67d445d

  Copy full SHA for 67d445d

Commits on Oct 15, 2024

• Remove outdated Readme

  jvanbruegge

  committed
  57a5d77

  Copy full SHA for 57a5d77

• Fix tvar naming clash in substitution

  jvanbruegge

  committed
  4316904

  Copy full SHA for 4316904

Commits on Oct 18, 2024

• Automatically define simp rules for permute (#54)

  jvanbruegge

  authored
  c373734

  Copy full SHA for c373734

Commits on Oct 20, 2024

• Add noclash_rename theorem to fixpoint

  jvanbruegge

  committed
  0ee8cf4

  Copy full SHA for 0ee8cf4

• Add rrename_tvsubst theorem to tvsubst

  jvanbruegge

  committed
  b5078c7

  Copy full SHA for b5078c7

Commits on Oct 21, 2024

• Fix rrename_tvsubst for types with one variable kind

  jvanbruegge

  committed
  59cbbdb

  Copy full SHA for 59cbbdb

Commits on Oct 23, 2024

• Automate initial version of equivariance proof

  Show description for 60c5b35
  jvanbruegge

  committed
  60c5b35

  Copy full SHA for 60c5b35

• Allow to disable automatic equivariance proof

  jvanbruegge

  committed
  6c5946d

  Copy full SHA for 6c5946d

Commits on Oct 24, 2024

• Add automation for refreshability

  jvanbruegge

  committed
  bf5502f

  Copy full SHA for bf5502f

Commits on Oct 25, 2024

• Make build work again

  jvanbruegge

  committed
  1db79de

  Copy full SHA for 1db79de

• more

  

  Andrei Popescu

  committed
  0337333

  Copy full SHA for 0337333

• more

  

  Andrei Popescu

  committed
  f71e899

  Copy full SHA for f71e899

• more

  

  Andrei Popescu

  committed
  1e971a2

  Copy full SHA for 1e971a2

Commits on Oct 26, 2024

• Merge branch 'equivariance' into popl2025_updated

  jvanbruegge

  committed
  325f112

  Copy full SHA for 325f112

• Merge remote-tracking branch 'origin/popl2025_updated' into popl2025_updated

  jvanbruegge

  committed
  df8f5dc

  Copy full SHA for df8f5dc

• Fix POPLmark

  jvanbruegge

  committed
  f272d33

  Copy full SHA for f272d33

• Update html

  jvanbruegge

  committed
  5c59ffb

  Copy full SHA for 5c59ffb

• fixed sections in README

  

  Andrei Popescu

  committed
  3f44b69

  Copy full SHA for 3f44b69

• Merge branch 'popl2025_updated' of github.com:jvanbruegge/binder_datatypes into popl2025_updated

  

  Andrei Popescu

  committed
  59683b8

  Copy full SHA for 59683b8

Commits on Nov 21, 2024

• Fix theorem reference in README

  jvanbruegge

  committed
  0b8c10c

  Copy full SHA for 0b8c10c