search

emilypi / smash

Smash products, Wedge products, and other Pointed stuff
34 stars 11 forks source link

Fix typo in Can/Smash description #4

Closed rampion closed 4 years ago

rampion commented 4 years ago

Can is isomorphic to Maybe (These a b) not Maybe (a,b) and vice versa for Smash.