Code

Additions to the Powerset module #1056

Code

Draft

rahulc29 wants to merge 10 commits intoagda:masteragda/cubical:masterfrom rahulc29:masterrahulc29/cubical:masterCopy head branch name to clipboard

+72

Commits

Commits on Sep 15, 2023

• Update Powerset module

  rahulc29

  committed
  a4e2c07

  Copy full SHA for a4e2c07

• Make repeated definition private

  rahulc29

  committed
  17a44f2

  Copy full SHA for 17a44f2

• Remove unnecessary using

  rahulc29

  committed
  e2f60ee

  Copy full SHA for e2f60ee

Commits on Nov 1, 2023

• Merge branch 'agda:master' into master

  rahulc29

  authored
  a93a782

  Copy full SHA for a93a782

Commits on Nov 3, 2023

• Merge branch 'agda:master' into master

  rahulc29

  authored
  5723634

  Copy full SHA for 5723634

Commits on Nov 13, 2023

• Merge branch 'agda:master' into master

  rahulc29

  authored
  3359f1c

  Copy full SHA for 3359f1c

Commits on Mar 23, 2024

• Merge branch 'agda:master' into master

  rahulc29

  authored
  f500c04

  Copy full SHA for f500c04

• Sync with agda/cubical

  rahulc29

  committed
  de0a479

  Copy full SHA for de0a479

• Add preorder structure on the category of subobjects

  rahulc29

  committed
  d4ca6fa

  Copy full SHA for d4ca6fa

• Merge branch 'agda:master' into master

  rahulc29

  authored
  2c018ad

  Copy full SHA for 2c018ad