Closed xcthulhu closed 6 years ago
{-# MINIMAL (unit | leftAdjunct), (counit | rightAdjunct) #-}
would be much more concise.
Done.
BTW, we miss you in over here in Boston...
Thanks! Could you do the same thing to the contravariant version of Adjunction
as well?
@xcthulhu you’ve got the last comma and pipe swapped.
Okay, I fixed my typo and made the same change to the contravariant Adjunction
@xcthulhu I'm still in the Boston area. I moved out to Watertown, so its a little more awkward for me to get down to Boston Haskell though.
There are four suitable minimal definitions for an adjunction. This PR updated the documentation accordingly.