Code

Adds unary disjoint relation#2595

Code

Open

bsaul wants to merge 7 commits intoagda:masteragda/agda-stdlib:masterfrom bsaul:unary-disjoint-relationbsaul/agda-stdlib:unary-disjoint-relationCopy head branch name to clipboard

Commits

Commits on Feb 19, 2025

• add disjoint relation

  bsaul

  committed
  78bd91b

  Copy full SHA for 78bd91b

• update changelog

  bsaul

  committed
  1a8225e

  Copy full SHA for 1a8225e

• try out perp instead of #

  bsaul

  committed
  c48d4b8

  Copy full SHA for c48d4b8

• fix infix

  bsaul

  committed
  8ff2172

  Copy full SHA for 8ff2172

Commits on Feb 21, 2025

• Adds a few properties of disjoint relation

  bsaul

  committed
  f77d38b

  Copy full SHA for f77d38b

Commits on Feb 24, 2025

• specialize Negation import to Core

  bsaul

  committed
  07229e5

  Copy full SHA for 07229e5

Commits on Feb 26, 2025

• Update CHANGELOG.md

  Show description for 2891557
  

  bsaul

  and

  jamesmckinna

  authored
  2891557

  Copy full SHA for 2891557