What happened
The bug you encountered
Steps to Reproduce
Steps to reproduce the behavior:
- Go to https://noogle.dev/
- Search for "foldl'"
- Select "lib.foldl' (Prime)"
- Land on https://noogle.dev/q?term=lib.foldl%27+%28Prime%29, which fails.
Expected behavior
I would like to land on this page: https://noogle.dev/f/lib/foldl'
Screenshots
