search

agda / cubical

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

move precategories to separate folder and rename to wild categories #1103

Closed felixwellen closed 7 months ago

felixwellen commented 7 months ago

refactor (split into files) rename add instance for Types

felixwellen commented 7 months ago

@aljungstrom since I changed code from you - can you have a look?

felixwellen commented 7 months ago

This solves #1009

aljungstrom commented 7 months ago

@felixwellen looks good!

aljungstrom commented 7 months ago

thanks:)

felixwellen commented 7 months ago

Ok, merging then :-)