search

agda / cubical

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

Define free wild categories #1105

Closed felixwellen closed 2 months ago

felixwellen commented 4 months ago

I define something which might be a free wild category - I don't know. It is intended to be used for a solver for wild categories.

felixwellen commented 2 months ago

obsoleted