agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Rename `UU` to `Type`

Open fredrik-bakke opened this issue 1 year ago • 0 comments

Goals

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

fredrik-bakke avatar Mar 12 '24 14:03 fredrik-bakke