loogle
loogle copied to clipboard
nomeata
Mathlib search tool
Probably some `Nat` constant that is expensive to evaluate.
Floris suggests in https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Loogle.20is.20live!/near/434717352: I love the "did you maybe mean" field in loogle. Ideally it should find more miscapitalized words: `MeasureTheory.measure` should suggest `MeasureTheory.Measure` and `galoisconnection` should suggest `GaloisConnection`.
I was looking for something like [repeat on hoogle](https://hoogle.haskell.org/?hoogle=repeat). The search for [repeat on loogle](https://loogle.lean-lang.org/?q=repeat) comes back with; ``` :1:0: expected end of input ``` Other searches come back fine,...
Can we add an opensearch description file following https://developer.mozilla.org/en-US/docs/Web/OpenSearch, this will make it very easy for users to add loogle as a custom search engine in their search bar and...
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...
It'd be nice to only be shown lemmas when I'm looking for lemmas, as opposed to other stuff that I don't particularly want; I assume it'd be the same for...
A reasonable feature request is to be able to prefix filters with, say, `-`, and then exclude all matches. Technically doable. Would probably call for a refactoring of the implementation...
The current way Loogle renders types can become very verbose. What would be a better way? * Certainly `[C t]` instead of `[inst : C t]` would be good if...
``` % nix flake show 'github:nomeata/loogle' github:nomeata/loogle/67069bd25435e5d42ed928ac88828edfed495d18 ├───devShells │ └───x86_64-linux │ └───default omitted (use '--all-systems' to show) ├───nixosConfigurations │ └───loogle: NixOS configuration └───packages └───x86_64-linux ├───default omitted (use '--all-systems' to show)...
