Arnaud Spiwack
Arnaud Spiwack
When attempting to repair a missing constraint, we end up with curried constraints: ```haskell foo :: (A, B) => C -> D bar :: C -> D bar c =...
Org mode binds the `org-{shift,}{meta,}{up,down,right,left}` commands to their namesake key combinations. Using these commands is something that I end up doing a lot when editing Org document (they let me...
There used to be two prefixes (e and w) which lead to a number of search commands. E.g. e was bound to isearch. After an update to the latest build,...
Currently, when getting packages with rules_nixpkgs, bazel will call nix to build said dependencies. It doesn't work well, however, when making a nix derivation to package our bazel-built software. There,...
**Is your feature request related to a problem? Please describe.** I've been thinking about overridability in the recent weeks. On and off, really. Nothing really concrete. Anyway, there's been a...
I've been thinking a bit about the problem of overriding à la Nixpkgs. My thoughts is that it boils down to the semantics of merging recursive records. Or, a bit...
I'd like to talk about the generated pretty printing code. It doesn't appear to be documented all that much, so I may be saying nonsense, apologies in advance. I've only...
[because alliterative titles are always the best titles] _Edit: I now have a better solution outlined in https://github.com/tweag/linear-base/issues/130#issuecomment-1193835221_ This is something which has been at the back of my mind...
I went and implemented #406. Closes #406 cc @andreasabel
The upcoming version 0.2 will presumably be the last version where we will support GHC 9.0. Moving to GHC 9.2 will let us benefit from the improved multiplicity inference and...