Code

Function setoid is back.#2240

Code

Merged

jamesmckinna merged 5 commits intomasteragda/agda-stdlib:masterfrom function-setoidagda/agda-stdlib:function-setoidCopy head branch name to clipboardMar 7, 2024

+64-6

Commits

Commits on Dec 29, 2023

• Function setoid is back.

  JacquesCarette

  committed
  122713b

  Copy full SHA for 122713b

Commits on Dec 30, 2023

• make all changes asked for in review

  JacquesCarette

  committed
  24c9722

  Copy full SHA for 24c9722

Commits on Feb 25, 2024

• fix indentation

  JacquesCarette

  committed
  f46c309

  Copy full SHA for f46c309

• fix CHANGELOG conflict

  JacquesCarette

  committed
  4dae81f

  Copy full SHA for 4dae81f

Commits on Feb 27, 2024

• Merge branch 'master' into function-setoid

  JacquesCarette

  authored
  42665d1

  Copy full SHA for 42665d1