Skip to content

Pull requests: ndmitchell/hoogle

New pull request New
17 Open 138 Closed
17 Open 138 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix #288: allow mixing --local with and without paths when generating
#438 opened Nov 14, 2024 by davidaf3 Loading…
1
Improve and optimize logo SVG
#437 opened Nov 10, 2024 by uncenter Loading…
Update generation instructions
#434 opened Sep 29, 2024 by ffaf1 Loading…
Use new XDG API to get data directory
#419 opened Jan 16, 2024 by kephas Loading…
1
1
Search output colorizer
#417 opened Nov 7, 2023 by head-gardener Loading…
Update cabal haddock option
#416 opened Oct 8, 2023 by abailly Loading…
Fixed #403
#411 opened Jul 28, 2023 by jokesper Loading…
1
3
Fix #404 Accommodate ${pkgroot} and tolerate GHC errors on Windows
#405 opened Jun 4, 2023 by mpilgrem Loading…
4
Support hyperlinks in search output
#401 opened Mar 12, 2023 by avdv Loading…
2
Action/Server reorder modules
#393 opened Oct 11, 2022 by Profpatsch Loading…
3
Action/Server: rewrite showFroms to be clearer
#392 opened Oct 10, 2022 by Profpatsch Loading…
2
Action/Server refactors
#391 opened Oct 10, 2022 by Profpatsch Loading…
21
Implement search suggestions so the OpenSearch XML we ship works
#390 opened Oct 2, 2022 by lf- Loading…
1
Add --convert option from Hoogle4
#376 opened Jul 22, 2021 by michaelbjames Loading…
Warn on HSE mis-parse
#375 opened Jul 22, 2021 by michaelbjames Loading…
1
Serve static files via wai-app-static
#368 opened Apr 14, 2021 by cocreature Loading…
Add Missing Files for Tests
#366 opened Feb 16, 2021 by ezzieyguywuf Loading…
9
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.