Tony Beta Lambda

MPRIS support

4

Is there plan to add MPRIS support? Would be nice to be able to control it via system keyboard shortcuts when using it as a music player.

Resources with a lifetime

1

Currently `Resource`s must be `'static`, which makes it difficult to implement many functionalities as systems, notably rendering, since the textures / sprites / render contexts etc. usually have a lifetime...

Dynamic definitions for `\data` are useful just as member functions for `enum`s are useful in Rust. For example, Haskell has modules like `Data.List`, `Data.Maybe`, `Data.Either`, while we can make them...

Infer (class of (parameters of (functions defined in instances)))

4

Example: ````arend \class B | v : Nat \class C | f (x : B) : B \instance inst : C | f x => \new B { | v...

Equational reasoning style support in formatter

3

It would be nice if the formatter could recognize equational reasoning style. Alternatively, the user could provide hints in comments specifying "this block should be formatted as equational reasoning style."

find file filtered

14

### Description With dotfiles hidden, running `NvimTreeFindFile` on a file under a hidden directory, e.g., `~/.config/nvim/init.vim` will place the cursor on the very beginning of the tree buffer instead of...

An empty array in `DocumentSymbolResponse` is always interpreted as `Flat([])`. When the server is known to always return a `Nested` result, this makes it inconvenient to handle the result. A...

### Description Something like ```nix extraOptions = { auto_pushd = true; cd_silent = false; }; ``` turning into ```zsh setopt auto_pushd setopt no_cd_silent ```

`Subset`s are currently only defined for `Monoid`s: https://github.com/JetBrains/arend-lib/blob/6be71a0b2477906448d873f07277ec3289b31796/src/Algebra/Ring/Localization.ard#L23-L32 while they can be defined for `BaseSet`s. It goes without saying that this is useful in general.