Skip to content

EPA: unicode linear arrow is given incorrect annotation

minimal :: a ⊸ a
minimal x = x

assigns AddRarrowAnnU instead of AddLollyAnnU

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information