hub.darcs.net :: dolio -> universes -> changes universes.agda-lib

Various universe constructions in Agda

Migrate most stuff to cubical lib

dolioMon Aug 29 05:18:36 UTC 2022

Initial setup

dolioSun Sep 9 19:34:44 UTC 2018
  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon