Agda: rename Set to Type

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

Author: Nicholas Coltharp

Created: 2025-07-19 Sat 00:00

Validate