Anish Tondwalkar

Results 10 issues of Anish Tondwalkar

`lux` is the AUR, but not actually in the Arch repos. Probably worth updating the README to reflect this. (might be as simple as replacing `pacman` with your favoriate aur...

WIPish. Just need to make it emit an appropriate error message and then it'll be ready for merge.

``` :1:1-1:1: Error PANIC: Please file an issue at https://github.com/ucsd-progsys/liquid-fixpoint Unknown func-sort: (Main.Map Int (Main.Maybe Real)) : (Main.Maybe (Main.Maybe Real)) for (apply : func(0, [(Main.Map int (Main.Maybe real)); (Main.Maybe (Main.Maybe...

I'm not able to get intero.nvim to run... I've installed it, and have it running in my project root, but when I try to use any of the functions from...

``` $ nix-user-chroot ~/.nix bash unshare(): Invalid argument ``` This can also be reproduced with docker: ``` docker run atondwal/nix-user-chroot ``` (The docker image was created with: ``` FROM base/archlinux...

Free Music Archive has a ton of CC-licensed music and is mostly bottlenecked on bandwidth, so we could mirror it onto IPFS and use it to outshine conventional streaming services?

We need to parse a bt tab id like 'a.X.Y' or even just 'Y' from a string into an int, otherwise we get the following type errors, respectively: Uncaught (in...

Fixes compilation error: main.c:2522:3: error: too many arguments to function 'parcellite_init' Since commit 6bf0cc8e (2013-01-20), parcellite_init() has been called with a 'mode' parameter, but the function definition was never updated...

**Bug Description** terminal focus handling in mlterm --- see above **Environment Info** - Platform: linux - Terminal: mlterm - Version: 2.0.57 - Feedback ID: d07e9bf8-b7c7-4058-9816-5adedc0564d5 **Errors** ```json > when I...

bug
duplicate
has repro
platform:linux
area:tui
autoclose