Code

Minor fixes#11

Code

Open

kubukoz wants to merge 8 commits intoisovector:masterisovector/algebra-driven-design:masterfrom kubukoz:minor-fixes-maybekubukoz/algebra-driven-design:minor-fixes-maybeCopy head branch name to clipboard

+14-14

Commits

Commits on Nov 10, 2023

• Minor fixes to step/clue laws

  kubukoz

  committed
  9c531cf

  Copy full SHA for 9c531cf

Commits on Nov 11, 2023

• Remove list wrappers

  kubukoz

  committed
  ab846f9

  Copy full SHA for ab846f9

• IsFilter -> HasFilter

  kubukoz

  committed
  283b5a4

  Copy full SHA for 283b5a4

• laws_quickspec -> quickspec_laws

  kubukoz

  committed
  8415018

  Copy full SHA for 8415018

• rename law

  kubukoz

  committed
  12d99ed

  Copy full SHA for 12d99ed

• swap words

  kubukoz

  committed
  fd185b0

  Copy full SHA for fd185b0

• both -> beside

  kubukoz

  committed
  9594e1e

  Copy full SHA for 9594e1e

• andThen/empty -> andThen:identity

  kubukoz

  committed
  ff19786

  Copy full SHA for ff19786