search

nomeata / loogle

Mathlib search tool
https://loogle.lean-lang.org/
Apache License 2.0
50 stars 6 forks source link

Use a front-end framework #11

Open samueldurantes opened 6 months ago

samueldurantes commented 6 months ago

I believe that using a front-end framework (like NextJS or Remix) helps both the user experience and the developer experience.

Today the project lacks some useful features, such as a dropdown in the search and some CSS improvements that would help the results become more readable.

nomeata commented 6 months ago

Thanks for bringing this up. Maybe I am old, but I see some value in low tech solutions where they are sufficient, and hence am hesitant to add complex frameworks and client-side logic to the mix.

CSS improvements are certainly possible without a framework, and I appreciate contributions.

What kind of drop down do you envision? My browser already adds suggestions based on the history of searches.

Note also that Loogle has a simple JSON API, so if you feel inspired to create a more fancy frontend, you can! If it sees clear traction that's a good way to convince me.