
13 Jul
2017
13 Jul
'17
7:48 p.m.
How about: -+
It almost looks arrow like if you squint, and have a font that lines up the horizontal lines. Interesting idea. Seems pretty good to me. It does not only look arrow-
Am Freitag, den 14.07.2017, 09:26 +1000 schrieb Mike Ledger: like, but also similar to the lollipop (⊸). Let’s try it out:
fmap :: Functor f => (a -+ b) -> f a -+ f b Yes, this looks quite nice. Let’s compare it to the Unicode version: fmap ∷ Functor f ⇒ (a ⊸ b) → (f a ⊸ f b) They look similar indeed. 😉 All the best, Wolfgang