Code

truncation level of lists#1917

Code

Merged

Alizter merged 3 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/more_list_functions___truncation_level_of_listsAlizter/HoTT:ps/rr/more_list_functions___truncation_level_of_listsCopy head branch name to clipboardApr 15, 2024

+79-4

Commits

Commits on Apr 15, 2024

• truncation level of lists

  Show description for 4a35479
  Alizter

  committed
  4a35479

• review comments

  Show description for ece8fa6
  Alizter

  committed
  ece8fa6

• typo

  Alizter

  authored
  095817a