Code

Spelling and style changes#2249

Code

Merged

Alizter merged 4 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom patrick-nicodemus:aspellpatrick-nicodemus/HoTT:aspellCopy head branch name to clipboardMar 13, 2025

Commits

Commits on Mar 11, 2025

• Spelling and style changes

  

  Patrick Nicodemus

  committed
  57053ee

  Copy full SHA for 57053ee

• Apply suggestions from code review

  Show description for 1a7a27d
  

  3 peopleauthored
  1a7a27d

  Copy full SHA for 1a7a27d

• Fixed reviewer comments.

  

  Patrick Nicodemus

  committed
  2210e16

  Copy full SHA for 2210e16

• Merge branch 'master' into aspell

  patrick-nicodemus

  authored
  6741881

  Copy full SHA for 6741881