Closed ygale closed 5 years ago
Hoogle 5 does seem to support type search now. I haven't checked whether support is as complete as it was 5 years ago, but even if not, I don't think we need this banner anymore.
Thanks - agreed!
Hoogle 5 does seem to support type search now. I haven't checked whether support is as complete as it was 5 years ago, but even if not, I don't think we need this banner anymore.