search

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
MIT License
25 stars 5 forks source link

Section upstream #107

Closed maxsnew closed 2 months ago

maxsnew commented 2 months ago

Updates now that cubical has upstreamed some Section stuff: https://github.com/agda/cubical/pull/1149