UniMath/agda-unimath

Rename `UU` to `Type`

fredrik-bakke opened this issue · 0 comments

fredrik-bakke commented

Goals

  • Change definition names that use UU to use Type
  • Rename UU to Type
  • Rename UUω to Large-Type