Сухарик

couldn`t convert string f \mathbin⨾ g \in \operatorname{hom}(A, C)

3

**Describe the bug** Idyll fails to render math formulae with `⨾` symbol. **To Reproduce** Steps to reproduce the behavior: 1. `[Equation]f \mathbin⨾ g \in \operatorname{hom}(A, C)[/Equation]` **Expected behavior** Idyll should...

`set_at` or `rollback`

2

Because sometimes you need to advance the lexer backwards.

Error kinds

2

Sometimes you want to report a specific lexer error rather than the general one.

Preset navigator

5

There's too many presets to keep them in the menu. So additional navigation would be very nice. This is how it looks in [Helm](http://tytel.org/helm/):  (categories — tags — patches,...

So you could set an exact value from keyboard.

Reborrowing a shared reference is unsupported, results in a generic "generating fold-unfold Viper statements failed"

7

Prusti reports this error at `push_all` function: ``` [Prusti internal error] generating fold-unfold Viper statements failed (FailedToObtain(Pred(Local(_old$l22$0: Ref(__TYPARAM__$T$__), Position { line: 0, column: 0, id: 0 }), read))) ``` Source...

Readline without rlwrap

5

Is it possible to have a readline interface in ciaosh without rlwrapping the command?

Extended fonts

1

ASCII is cool, but it would be nice to be able to see Cyrillic file names.