Michael Färber

Improve type checking error messages

4

The error messages from Lambdapi could be more informative. Let us consider a simple example: We want to define functions `fst` and `snd`: ~~~ symbol const Type : TYPE symbol...

Code crashes with segfault

11

First of all, thanks for this very interesting project! I tried some of the examples, and the last one about lambda arithmetic: ~~~ javascript // Increments a Bits by 1...

Improve clipboard yanking messages

16

### Summary When selecting some text with the mouse, the message "yanked main selection to system clipboard" appears at the bottom, yet the clipboard does not seem to contain the...

Parsing a(ba)* in 1.0.0-alpha.4

5

I am converting a parser from chumsky 0.9 to 1.0.0-alpha.4. During this, I noticed a pattern that I found quite nontrivial to translate. In particular, a parser for `a(ba)*`, where...

Adding `sort_keys` filter as a flexible alternative to `--sort-keys`

10

Hi! In my alternative jq implementation [jaq](https://github.com/01mf02/jaq), I would like to implement the functionality of jq's `--sort-keys` command-line option, but without creating a command-line option. In particular, in [the corresponding...

This should address #2351.

Missing open brace for subscript

2

If we go for example to http://logipedia.inria.fr/sttfa_bool__cases_term_6.def.html then both "Body" and "Type_annotation" show: Missing open brace for subscript

Suppose that we have two files: ~~~ jq # mod.jq import "data" as $data; . # main.jq import "mod" as mod; include "mod"; . ~~~ Running `jq -n -f main.jq`...

`indices` reports byte offsets instead of character offsets

1

**Describe the bug** jq uses _characters_ to index strings. To see that, we can run `"🇬🇧oo" | .[0 : 1,2,3,4]`, which yields "🇬" "🇬🇧" "🇬🇧o" "🇬🇧oo". Note that 🇬🇧 is...

jnv currently seems to interpret numbers as floating-point. This can be problematic because it means that certain valid JSON values cannot be parsed: ~~~ $ echo "1e500" | jnv Error:...