Search an Agda codebase for identifiers matching a string, and (in the future) type.
- fit in webserver
- deploy https://agdasearch.com
- source files links
- add 1lab indexing
- Type search
- Syntax highlighting
- Record queries and show pagnated on main page for seo