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

New profunctors #51

Closed maxsnew closed 9 months ago

maxsnew commented 9 months ago

@stschaef I left a few holes of varying difficulty from where we left off.

maxsnew commented 9 months ago

@stschaef I rebased so make sure you use the latest version