Code

Pointwise Algebra#2381

Code

Merged

MatthewDaggitt merged 6 commits intoagda:masteragda/agda-stdlib:masterfrom jamesmckinna:pointwise-algebrajamesmckinna/agda-stdlib:pointwise-algebraCopy head branch name to clipboardMay 15, 2024

Commits

Commits on May 5, 2024

• Pointwise Algebra

  jamesmckinna

  committed
  c2614ed

  Copy full SHA for c2614ed

Commits on May 6, 2024

• temporary commit

  jamesmckinna

  committed
  507362d

  Copy full SHA for 507362d

• better CHANGELOG entry?

  jamesmckinna

  committed
  cf7a2c7

  Copy full SHA for cf7a2c7

• begin removing redundant module implementation

  jamesmckinna

  committed
  dd5ef4e

  Copy full SHA for dd5ef4e

• finish removing redundant module implementation

  jamesmckinna

  committed
  ce2c503

  Copy full SHA for ce2c503

• make liftRel implicitly quantified

  jamesmckinna

  committed
  c27d46e

  Copy full SHA for c27d46e