1lab icon indicating copy to clipboard operation
1lab copied to clipboard

Published 20 hours ago • verified publisher icon plt-amy

Sites and sheaves

Open plt-amy opened this issue 1 year ago • 3 comments

Stuff from C2.1 in the elephant

plt-amy avatar Mar 19 '24 18:03 plt-amy

Pull request preview

Lavenza avatar Mar 19 '24 18:03 Lavenza

Prose for Cat.Site.Base probably sucks, @ncfavier @TOTBWF could you review?

plt-amy avatar Apr 08 '24 19:04 plt-amy

Cat.Site.Base looks good to me. I haven't reviewed anything too deeply.

ncfavier avatar Apr 09 '24 16:04 ncfavier