Various universe constructions in Agda
1 2 3 4
name: universes depend: cubical include: src flags: --cubical --safe --postfix-projections --no-import-sorts