Lisael
Lisael
In some environments (enterprise network, wifi hostspots, poor "internet" mobile plans...), ssh is blocked. HTTPS is almost always open. Allow `https://` scheme in repository URL. This could be generalized with...
I see two main arguments in favor of the split: - clear separation of concern (what is core feature, what is UI) - ease the experiments (Implement a http server...
not sure how to test async methods. :/ we could start unit testing the few synchronous methods
Standardize the way platform-specific imports are parsed, resolved and CBOR-encoded. ## Use cases ### Integration with the platform's packaging standards A Dhall implementation may want to rely on language-specific semantics...
At the moment there are 4 ways to output JSON from a dhall Union: ```dhall let JSON/Nesting = https://prelude.dhall-lang.org/v11.1.0/JSON/Nesting let Foo = { f : Text } let Bar =...
Let's say that stable first loads `bundle.json` and then it overrides the json object (dict merge) with the content of `bundle.*.json` (taken in alphabetical order, the last one has precedence)....
- Device: PinePhone - Kernel Version : 5.16.0-1-danctnix - UI: Phosh ### Steps to reproduce Go to Settings -> Online Accounts Choose Google An embed browser displays accounts.google.com login page....
Hi, The premise of this issue is that I want to ignore patterns from `.gitignore` and `.git/info/exclude` as well (for local ignores). For performance reasons, it's probably better to use...
Here's a proposal to address #1122. This adds a `:tutorial` command that opens a tutorial where one can navigate page by page. There's a mechanism to chose the tutorial language,...