Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 3, 2022

• Sync implementation and paper

  sgraf812

  committedJun 3, 2022
  3ee4148

• Smoothen evaluation

  sgraf812

  committedJun 3, 2022
  79664d1

• Run benchmarks

  sgraf812

  committedJun 3, 2022
  5ebefdd

Commits on Jun 2, 2022

• Fix benchmarks

  sgraf812

  committedJun 2, 2022
  68b836d

• Benchmark more lookup_lam

  sgraf812

  committedJun 2, 2022
  1143016

• Reinstate most-specific matches and move unifying maps to the Appendix

  sgraf812

  committedJun 2, 2022
  abfa161

• Much shorter evaluation, move the full one to Appendix

  sgraf812

  committedJun 2, 2022
  7202255

• Woorking on Section 5

  simonpj

  committedJun 2, 2022
  e197155

Commits on May 31, 2022

• Less overruns etc.

  sgraf812

  committedMay 31, 2022
  0fac215

Commits on May 27, 2022

• Re-Completed section 5

  sgraf812

  committedMay 27, 2022
  451bd53

• Move between machines

  sgraf812

  committedMay 27, 2022
  2c8ef82

Commits on May 25, 2022

• In limbo

  sgraf812

  committedMay 25, 2022
  820b5ae

Commits on May 24, 2022

• BoundVar -> BoundKey, PatVar -> PatKey

  sgraf812

  committedMay 24, 2022
  cae4332

• Make lookupPatMSEM use mzero instead of empty

  sgraf812

  committedMay 24, 2022
  3797984

Commits on May 23, 2022

• Use foldrTM (not foldTM) consistently

  sgraf812

  committedMay 23, 2022
  173b634

• Follow uniform naming convention of instance methods

  sgraf812

  committedMay 23, 2022
  6cf0e78

• lookupPatMM should use lookupFreeVarOcc, too

  sgraf812

  committedMay 23, 2022
  b8d38d4

• Update .gitignore

  sgraf812

  committedMay 23, 2022
  9bf007d

• Delete TrieMap2 and TrieMap-monadic

  sgraf812

  committedMay 23, 2022
  dbdf76b

• Delete more unused stuff

  sgraf812

  committedMay 23, 2022
  b3acbb7

• Kill Bag from the cabal file

  sgraf812

  committedMay 23, 2022
  86423d1

• A few Hlints

  sgraf812

  committedMay 23, 2022
  f5cd8e2

• Bump pinned nix commit

  sgraf812

  committedMay 23, 2022
  24d84c5

• Extract MatchResult; make lookup{Expr,PatMM} more similar. Drop Bag

  sgraf812

  committedMay 23, 2022
  b3e8a28

• Move Occ

  sgraf812

  committedMay 23, 2022
  b6148c3

• What a horrible, horrible merge

  sgraf812

  committedMay 23, 2022
  409c23b

• Merge remote-tracking branch 'refs/remotes/origin/stab-at-matching-singleton' into stab-at-matching-singleton

  sgraf812

  committedMay 23, 2022
  baca9e8

• Align alterPatMM more with alterExpr

  sgraf812

  committedMay 23, 2022
  7e69260

• Introduce separate MSEMap

  sgraf812

  committedMay 23, 2022
  41b9ece

• Capture-avoiding substitution

  sgraf812

  committedMay 23, 2022
  f364387

• Replace V with Pat

  sgraf812

  committedMay 23, 2022
  a7904e7

• Found a big bug related to scoping, fixed it.

  sgraf812

  committedMay 23, 2022
  6f18289

Commits on May 19, 2022

• Use type synonym ModAlpha, implement fromListWithTM

  sgraf812

  committedMay 19, 2022
  f00e47a

• Update benchmark

  sgraf812

  committedMay 19, 2022
  28b1f1b

• Replace V with Pat

  sgraf812

  committedMay 19, 2022
  630db3a

Pagination

PreviousNext