Jonathan Cubides comments

Results 42 comments of


                                            Jonathan Cubides

.lagda.md support

I see

Wasmer 2.1's LLVM depends on libtinfo.so.5

On a fresh Fedora 36, the proposed solutions don't work. I tried, e.g., `sudo dnf install ncurses-compat-libs` to fix it without any success. I get: ``` wasmer: /lib64/libtinfo.so.5: no version...

Wasmer 2.1's LLVM depends on libtinfo.so.5

Yes. Indeed.

Will Sushi Browser, still have a Linux & MacOs version ?

OSX Catalina version will be nice!

Remove usages of ≔ and replace those with :=

We decided to remove all the Unicode input from the examples and the standard without removing support for typing them.

Juvix release source archives do not contain juvix-stdlib

We should start crafting each release manually instead of using the Github web browser interface. The plan is to use the Github CLI tool (`gh release`) that allows us to...

VSCode syntax highlighting uses different colors within the same token

I could reproduce this issue. This is because @rokopt used TABs instead of white spaces in the inductive type declarations. In principle, we should use only whitespaces.

VSCode syntax highlighting uses different colors within the same token

We decided to throw an error if any tab character is detected while parsing the file.

example/tic-tac-toe: clear screen in between prints

Regarding the operator precedence, we will probably open an issue in the anoma/juvix-stdlib repo to discuss it. Thank you @tzemanovic for the input.

Refactor CLI

There are some global options that do not apply to certain commands (e.g.no termination for the doctor's command).