1lab icon indicating copy to clipboard operation
1lab copied to clipboard
verified publisher icon plt-amy

(Co)Limit Reasoning Module

Open TOTBWF opened this issue 3 years ago • 1 comments

It would be nice to have a good API for reasoning about (Co)Limits, much like we have with Cat.Reasoning and Cat.Functor.Reasoning.

TOTBWF avatar May 17 '22 16:05 TOTBWF

@plt-amy do you have any concrete design suggestions for this?

TOTBWF avatar May 17 '22 16:05 TOTBWF