Code

def: define biimplications#457

Code

Merged

TOTBWF merged 11 commits intomainthe1lab/1lab:mainfrom biimplicationthe1lab/1lab:biimplicationCopy head branch name to clipboardJan 16, 2025

+207-40

Commits

Commits on Jan 13, 2025

• def: define biimplications

  TOTBWF

  committed
  642fc4c

  Copy full SHA for 642fc4c

• chore: sort imports

  TOTBWF

  committed
  744552a

  Copy full SHA for 744552a

Commits on Jan 14, 2025

• prose: improve prose surrounding biimplications

  TOTBWF

  committed
  4dba097

  Copy full SHA for 4dba097

• refactor: move around extensionality instance to break import cycle

  TOTBWF

  committed
  90ec9e4

  Copy full SHA for 90ec9e4

• chore: minor biimplication refactor

  TOTBWF

  committed
  42cdbb0

  Copy full SHA for 42cdbb0

• chore: export Biimp from Prelude

  TOTBWF

  committed
  5517940

  Copy full SHA for 5517940

• refactor: use biimplications for Ω-ua; add extensional for Ω

  TOTBWF

  committed
  2c4bfca

  Copy full SHA for 2c4bfca

Commits on Jan 15, 2025

• chore: clean up consequences of Ω-ua refactor to use biimp

  TOTBWF

  committed
  84bf9c1

  Copy full SHA for 84bf9c1

• fix: fix ModuleDoesntExport warning

  TOTBWF

  committed
  b3f87d2

  Copy full SHA for b3f87d2

• chore: sort imports

  TOTBWF

  committed
  0ac7485

  Copy full SHA for 0ac7485

• prose: further prose tweaks

  TOTBWF

  committed
  722c88b

  Copy full SHA for 722c88b