search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
446 stars 136 forks source link

Renaming to Sequential Colimits #1047

Closed kangrongji closed 11 months ago

kangrongji commented 11 months ago

See #1046 .

I also changed some names in SequentialColimit/Properties.agda for it being more informative. These names are only used in this one file. Also add some spaces to make them look better.

@felixwellen

kangrongji commented 11 months ago

It's done now @felixwellen