Using new syntax for typeclass instance declarations#2262

Closed

patrick-nicodemus wants to merge 3 commits intoHoTT:masterfrom patrick-nicodemus:ex_in

Commits on Mar 20, 2025

Using new syntax for typeclass instance declarations
Patrick Nicodemus
committed
Made unboxed classes opaque to typeclass search.
Patrick Nicodemus
committed
Marked Equiv as non-reversible.
Patrick Nicodemus
committed