Agda: rename Set to Type

categories
Agda
open import Agda.Primitive
  renaming ( Set to Type
           ; Setω to Typeω
           )

Author: Nicholas Coltharp

Created: 2025-09-07 Sun 00:00

Validate