Code

Update Prelude.agda#1179

Code

Open

anshwad10 wants to merge 9 commits intoagda:masteragda/cubical:masterfrom anshwad10:patch-1anshwad10/cubical:patch-1Copy head branch name to clipboard

+8-3

Commits

Commits on Jan 12, 2025

• Update Prelude.agda

  Show description for 8daae10
  anshwad10

  authored
  8daae10

  Copy full SHA for 8daae10

• Update Prelude.agda

  anshwad10

  authored
  f64cf01

  Copy full SHA for f64cf01

• Update Prelude.agda

  anshwad10

  authored
  e71e486

  Copy full SHA for e71e486

Commits on Jan 13, 2025

• Add instances to Data.Sigma

  anshwad10

  authored
  36f8b9f

  Copy full SHA for 36f8b9f

• Update Base.agda

  anshwad10

  authored
  b865c6f

  Copy full SHA for b865c6f

• Update Base.agda

  Show description for 7e13086
  anshwad10

  authored
  7e13086

  Copy full SHA for 7e13086

• Add overlapping instances

  anshwad10

  authored
  da169b8

  Copy full SHA for da169b8

• Remove the overlappable instance

  anshwad10

  authored
  ae50c10

  Copy full SHA for ae50c10

• Remove the instance

  anshwad10

  authored
  933df36

  Copy full SHA for 933df36