mariari
mariari
**Describe the bug** When one watches a video on nyxt and full screens it then tabs away they can't unfull screen. This bug does not show up on stumpwm due...
It seems if I jump to a definition with Meta point, then you can't jump back, it gives me the message `at the start of xref history`. I think this...
In my tak benchmark, I have to layout the file like ```haskell terminating tak : ℕ → ℕ → ℕ → ℕ; terminating tak-then : ℕ → ℕ → ℕ...
Currently if is defined like ```haskell if : {A : Type} → Bool → A → A → A; if true a _ ≔ a; if false _ b ≔...
I tried to compile my tak program to C, but when I try to compile that with gcc I get ```c tak.c: In function ‘takclosbranch_257’: tak.c:627:28: error: too few arguments...
Although the [documentation on github gives the correct instructions](https://github.com/maticnetwork/miden/blob/main/docs/src/user_docs/assembly/io_operations.md#non-deterministic-inputs), the [actual doc site which is linked](https://maticnetwork.github.io/miden/user_docs/assembly/io_operations.html) gives the wrong instructions. It would be nice for the docs site to be...
I was looking at Juvix examples today, and many examples are quite hard to read ```juvix --- Given a player attempted move, updates the state accordingly. playMove : Maybe Nat...
The current iteration of Juvix's syntax resembles an `ALGOL` derivative with inspirations from `AGDA`. in an `ML` or `ALGOL` style syntax, `,` is often reserved. For ML's `,` is often...
Similar to anoma/juvix#457 The context should be able to handle with the following scenario - Package `Baz` - Creates module `Foo` and exports `Foo` - Package `Graph` - grabs module...
Currently my code generator for Triton is quite primitive. I would like the following to be made 1. [x] Add a notion of blocks - blocks are a label +...