Code

Example: Treap data structure#50

Code

Open

aricursion wants to merge 13 commits intoexample/rbt-decalfjonsterling/agda-calf:example/rbt-decalffrom example/treapjonsterling/agda-calf:example/treapCopy head branch name to clipboard

+247-5

Commits

Commits on Nov 7, 2023

• Add Treap stub

  HarrisonGrodin

  committed
  99d70ae

  Copy full SHA for 99d70ae

• Start writing join

  HarrisonGrodin

  committed
  f07b9a0

  Copy full SHA for f07b9a0

Commits on Nov 8, 2023

• Add expected cost proposal

  HarrisonGrodin

  committed
  837d2de

  Copy full SHA for 837d2de

Commits on Nov 9, 2023

• added all structure code, some proofs left

  aricursion

  committed
  c6e71de

  Copy full SHA for c6e71de

Commits on Nov 10, 2023

• join done except for non-zero

  aricursion

  committed
  84ddacd

  Copy full SHA for 84ddacd

• mistake in order of flip

  aricursion

  committed
  c288b47

  Copy full SHA for c288b47

• finished join

  aricursion

  committed
  4c189ac

  Copy full SHA for 4c189ac

• small changes

  aricursion

  committed
  62da32d

  Copy full SHA for 62da32d

• minor changes/agda-isms

  aricursion

  committed
  44d597a

  Copy full SHA for 44d597a

• added steps

  aricursion

  committed
  aa88208

  Copy full SHA for aa88208

Commits on Nov 21, 2023

• runming help

  aricursion

  committed
  16a13b8

  Copy full SHA for 16a13b8

Commits on Nov 28, 2023

• more proof of join cost

  aricursion

  committed
  163a7a2

  Copy full SHA for 163a7a2

• second branch done

  aricursion

  committed
  14eb489

  Copy full SHA for 14eb489