Code

Add alpha equivalence#12

Code

Merged

fizruk merged 39 commits intomainfizruk/free-foil:mainfrom alpha-equivfizruk/free-foil:alpha-equivCopy head branch name to clipboardJun 19, 2024

+1,041-50

Commits

Commits on Jun 18, 2024

• Add changelog to extra-source-files (cabal)

  fizruk

  committed
  f1512ec

  Copy full SHA for f1512ec

• Add one version of alpha-equiv for free foil

  fizruk

  committed
  3a6a6fc

  Copy full SHA for 3a6a6fc

• Add a more efficient alpha-equiv for free foil

  fizruk

  committed
  73301f9

  Copy full SHA for 73301f9

• Fix unifyNameBinders

  fizruk

  committed
  e824f96

  Copy full SHA for e824f96

• Cleanup/format free foil module

  fizruk

  committed
  18b40ca

  Copy full SHA for 18b40ca

• Demonstrate alpha-equivalence in the free foil implementation of LambdaPi

  fizruk

  committed
  c97b145

  Copy full SHA for c97b145

• Add assertExt (analogous to assertDistinct)

  fizruk

  committed
  ed517be

  Copy full SHA for ed517be

• Add RelMonad instance in Foil implementation of LambdaPi

  fizruk

  committed
  5a50b24

  Copy full SHA for 5a50b24

• Add alphaEquivRefresh to Foil implementation of LambdaPi

  fizruk

  committed
  5ab716f

  Copy full SHA for 5ab716f

• Expose unifyNameBinders

  fizruk

  committed
  5edc8d7

  Copy full SHA for 5edc8d7

• Fix doctests in free foil implementation

  fizruk

  committed
  dcf024e

  Copy full SHA for dcf024e

• Faster alphaEquiv for the foil LambdaPi (dirty)

  fizruk

  committed
  b839b8f

  Copy full SHA for b839b8f

• Fix doctests

  fizruk

  committed
  5e5f2f2

  Copy full SHA for 5e5f2f2

Commits on Jun 19, 2024

• Make RelMonad instance for Expr safer

  fizruk

  committed
  9f96af6

  Copy full SHA for 9f96af6

• Make unifyPatterns slightly safer

  fizruk

  committed
  6152501

  Copy full SHA for 6152501

• Add helpers for renaming binders

  fizruk

  committed
  ac8fbed

  Copy full SHA for ac8fbed

• Get rid of unsafeCoerce in the foil implementation of LambdaPi

  fizruk

  committed
  839fce7

  Copy full SHA for 839fce7

• Add tests for alpha-equiv for the foil

  fizruk

  committed
  67cd65b

  Copy full SHA for 67cd65b

• Fix substituteRefresh

  fizruk

  committed
  ba46c13

  Copy full SHA for ba46c13

• Add tests for alpha-equiv for free foil

  fizruk

  committed
  2b2cea9

  Copy full SHA for 2b2cea9

• Fix refreshAST, add substituteRefreshed for free foil

  fizruk

  committed
  bb15631

  Copy full SHA for bb15631

• Extend documentation of substituteRefreshed for free foil

  fizruk

  committed
  0926edf

  Copy full SHA for 0926edf

• Add namesOfPattern and assert*Pattern helpers

  fizruk

  committed
  757e206

  Copy full SHA for 757e206

• Test non-alpha-equivalent terms as well (foil)

  fizruk

  committed
  facbacd

  Copy full SHA for facbacd

• Add Bitraversable instances in the foil implementation

  fizruk

  committed
  c4b1011

  Copy full SHA for c4b1011

• Test non-alpha-equivalent terms as well (free foil)

  fizruk

  committed
  87f6b04

  Copy full SHA for 87f6b04

• Use Data.Bifunctor.Sum

  fizruk

  committed
  7b3319e

  Copy full SHA for 7b3319e

• Improve documentation in free-foil

  fizruk

  committed
  61908f3

  Copy full SHA for 61908f3

• Update README

  fizruk

  committed
  af25eb6

  Copy full SHA for af25eb6

• Generate sized tests, unify genExprWithFresh with genAlphaEquivExprs

  fizruk

  committed
  2475c38

  Copy full SHA for 2475c38

• Add test for refreshAST

  fizruk

  committed
  478face

  Copy full SHA for 478face

• Add shrink for free foil tests

  fizruk

  committed
  9977de5

  Copy full SHA for 9977de5

• Remove timeout for some tests

  fizruk

  committed
  336ba5f

  Copy full SHA for 336ba5f

• Generate richer terms when testing foil

  fizruk

  committed
  e49312d

  Copy full SHA for e49312d

• Add a test to check whnf

  fizruk

  committed
  ed5d87b

  Copy full SHA for ed5d87b

• Discard long-running WHNF tests

  fizruk

  committed
  d866e9f

  Copy full SHA for d866e9f

• Generate richer terms when testing free foil

  fizruk

  committed
  614face

  Copy full SHA for 614face

• Fix indentation in README

  fizruk

  committed
  ddb8708

  Copy full SHA for ddb8708

• Update Haddock links in README

  fizruk

  committed
  c250588

  Copy full SHA for c250588