Marvin
Marvin
The `-machine q35` flag should result in a more efficient and performant system. Unfortunately, the q35 machine lacks support of IDE/ATA disk detection and relies on AHCI stuff instead (which...
**Describe the bug** You can no longer access/reset/delete your account if the associated Twitter account has been deleted. An example is my Träwelling account [@marvinborner](https://traewelling.de/profile/marvinborner) as I can't access the...
I'm not sure if this is of general interest, but I wrote some examples to measure the performance of function application and substitution. - `variadic_combinators.effekt`: Implementation of `mod3` using the...
This closes #408. This also fixes a bug where newlines could be used in single-quoted strings, causing parsing errors in the backends.
Closes #396. I also added collapsible items for imports and namespaces.  I'm not sure how to get the types of sub-level symbols yet, so I just put a '?'...
This PR closes #367. Together with https://github.com/effekt-lang/kiama/pull/1 and https://github.com/effekt-lang/effekt-vscode/pull/16, this should result in first steps towards more intelligent LSP intelligence. Main things still missing: - Better symbol selection; for now...
Most operating systems (e.g. GNU/Linux, BSDs) treat all text after the first space as a single argument. When using env in a script it is thus not possible to specify...
This PR aims to add a test suite for Effekt's LSP server. Apart from the obvious reasons, LSP testing could also be useful for finding reflection bugs (PR #329). The...
While working on the LSP testing suite (#351), I had several problems with the [textDocument/hover](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_hover) request. I initially believed the problem to be in my LSP client implementation (and I...
Since the import uses a different function for torch 2.0, the arguments changed a bit. The function doesn't accept the checksums as before. I just removed it in this PR...