Agda Search

Text based search for the agda std lib.Soon with types as well.