prescientmoon
prescientmoon
I found myself implementing a very basic `mapExists` function for my latest project, and wondered if it might fit here: ```purescript -- | Map the interoior of an existential mapExists...
The `exec` field of `terminal = true` desktop entries seems to be treated like it's always the name of a binary. Is this normal? For instance, if `exec = program...
Having a lambda return a variable from an outer scope generates a weird structure. Eg: The expression `\f a. f (\l. a)` produces: 
It would be nice to have a proper way to handle recursive types. Right now, I am using the following hack ```nix lazyType = name: mkType: k.typedef' name (v: (mkType...
It is sometimes useful for the type of attributes in `attrsOf` to depend on the current key. My internal implementation looks something like this ```nix dependentAttrsOf = name: mkType: let...
I think it would be nice if, by default, .run would pass down `argv` to the underlying script.
**Is your feature request related to a problem? Please describe.** Right now it's posisble to generate a sharing link for public projects. It would be great to have a button...
Hi! Where do I need to mount `user-mapping.xml` in order to declaratively create users/connections?
I am using the `gruvbox-light` theme and the zellij bar at the bottom is next to unreadable  Here's the generated base16 json file: ```json { "base00": "f2e5bc", "base01": "ebdbb2",...
### What is the feature ? It would be useful if we could draw text with a colored outline. This is useful when wanting to label parts of an image....