-
Mael NICOLAS authored
search should always be called with `docid` and `label_s` if you don't want more than this just use `basicSearch`
cc773005
| Name |
Last commit
|
Last update |
|---|---|---|
| app | ||
| src | ||
| test | ||
| .gitignore | ||
| ChangeLog.md | ||
| LICENSE | ||
| README.md | ||
| Setup.hs | ||
| package.yaml | ||
| stack.yaml |