LightQuantum issues

Results 27 issues of


LightQuantum

getSession doesn’t work when logged in as admin

Instead of telling me that I am the server admin, getSession returns “missing user”, which is somehow confusing. Maybe just return something like admin=true instead of querying user:admin(which may fail)...

fix limit in aggregate mode

Fix issue #12 .

Limit doesn't work for the first query in aggregate mode

If you have more than 25 docs to retrieve, only 25 docs will be fetched at the first query. The limit you specify is only applied to the final list,...

Basics: Coq 函数式编程勘误讨论

https://github.com/Coq-zh/SF-zh/blob/master/lf-current/Basics.v#L326 > '构造子表达式'通过 **将构造子应用到一个或多个构造子表达式** 上构成。例如 > [red]、[true]、[primary]、[primary red]、[red primary]、[red true]、 > [primary (primary primary)] 等等在原文中写的是 > Constructor expressions are formed by **applying constructors to zero or more constructor expressions**....

major refactor plan

There's been a while since we touched the codebase. I believe there's a need to refactor the codebase and solve some of the current problems. My plan for refactoring: -...

Support applications installed by nix.

## What is the issue? Nix-installed `kitty` is not recognized by `OpenInTerminal`. It might have something to do with the non-standard location of `kitty` binary. ```shell script $ which kitty...

bug

fixing

xbps-install doesn't follow 308 Permanent Redirects

## Problem ``` ~> sudo xbps-install -Sv 1 12/23/23 21:42:57 PM [*] Updating repository `https://mirror.sjtu.edu.cn/voidlinux/current/x86_64-repodata' ... ERROR: [reposync] failed to fetch file `https://mirror.sjtu.edu.cn/voidlinux/current/x86_64-repodata': Permanent Redirect [*] Updating repository `https://mirror.sjtu.edu.cn/voidlinux/current/multilib/nonfree/x86_64-repodata' ......

LightQuantum