Pim

It still needs work but I've put this here for discussion. Since .NET Framework will not receive new versions and .NET Core is the future, I think it would be...

Flickering text with linum-relative

11

Hello, I really like this package but I have this issue where if I enable linum-relative sometimes the text will flicker when moving vertically. I found someone else who also...

Typed actors?

1

Would it be possible to implement typed actors? I made a small example [https://gist.github.com/Pireax/9e65b9188a188e2a35051c2708b837ed](here), this ignores the whole mailbox, threading, etc so it isn't an exact match but is it...

Introduce the usage of langchain

10

### Background While it is good to have diversity of code to be able to explore different directions, especially since all of this is so new, a lot of the...

Internal error when importing a method using a datatype

1

### Dafny version 4.2.0.0 ### Code to produce this issue ```dafny // InternalErrorInc.dfy datatype CellState = Empty | Zero | One method DoSomething(p: CellState) { } --- // InternalError.dfy include...

## Details Adds the `WaitForPropertyValueAsync` extension method for all DBus object which support reading values and watching properties. Normally one would implement this by creating a single interface but this...

When using the modifiers `i` and `a` in commands such as `vi(`, the caret should move to the first instance of that text object when it is not within one...