Using new syntax for projection instance declarations#2263

Draft

patrick-nicodemus wants to merge 4 commits intoHoTT:masterfrom patrick-nicodemus:ex_in2

Commits on Mar 21, 2025

Using new syntax for projection instance declarations
Patrick Nicodemus
committed
Addressed Ali's comments
Patrick Nicodemus
committed

Commits on Mar 22, 2025

updated STYLE.md
Patrick Nicodemus
committed
Update STYLE.md

patrick-nicodemus
and
jdchristensen
authored