cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Base change, sliced adjoints

Open marcinjangrzybowski opened this issue 10 months ago • 3 comments

marcinjangrzybowski avatar Apr 02 '24 02:04 marcinjangrzybowski

@marcinjangrzybowski is this ready for review/merging? @maxsnew are you up for reviewing this PR?

felixwellen avatar May 04 '24 12:05 felixwellen

yes, is ready to review, @felixwellen this is prerequisite to "setoids are not LLLC" PR we talked about

marcinjangrzybowski avatar May 04 '24 13:05 marcinjangrzybowski

Sure I can review

maxsnew avatar May 04 '24 17:05 maxsnew

@maxsnew Thank you for review, and sory for not adressing your comments earlier. I think that I addressed all your notes now :)

marcinjangrzybowski avatar Sep 02 '24 20:09 marcinjangrzybowski