Open CharlesTaylor7 opened 11 months ago
Type directed search doesn't work, for the browser UI.
Searching for a -> a should return a list including identity :: forall a. a -> a, and as well as various monorphized functions that match like Int -> Int or Boolean -> Boolean.
a -> a
identity :: forall a. a -> a
Int -> Int
Boolean -> Boolean
@CharlesTaylor7 would you still like to have a look at this one or should it be marked as up for grabs?
@f-f Sorry, for the slow reply. Yes, you can unassign me from this issue.
Type directed search doesn't work, for the browser UI.
Searching for
a -> a
should return a list includingidentity :: forall a. a -> a
, and as well as various monorphized functions that match likeInt -> Int
orBoolean -> Boolean
.