Code

I-indexed coproducts in pType#1907

Code

Merged

Alizter merged 2 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/i_indexed_coproducts_in_ptypeAlizter/HoTT:ps/rr/i_indexed_coproducts_in_ptypeCopy head branch name to clipboardApr 13, 2024

+39-6

Commits

Commits on Apr 8, 2024

• I-indexed coproducts in pType

  Show description for e0a74eb
  Alizter

  committed
  e0a74eb

Commits on Apr 13, 2024

• Apply suggestions from code review

  Show description for cff20ad
  

  Alizter

  and

  jdchristensen

  authored
  cff20ad