Bradley Saul
Bradley Saul
I'm trying to build a project using haskell.nix in a docker container on a minimal cabal project. I have a [repro repo here](https://github.com/bsaul/haskellnixdocker-repro). Running `nix-build` on my machine works just...
Currently, this is just a start towards #752. I've focused mainly on `amazonka-core` for now. I'm just opening this up so that others can jump on if you have time,...
This MR is (initially) a coarse way to address #728. It simply removes the reexports of `Amazonka.Core` from the main `Amazonka` module. This may remove too much, in that users...
I've run into the issue a few times, where when I call `simobs` get a `cannot find function 'melt'` error. When I run `library(data.table)`, the issue goes away. I have...
This PR adds the relation between two predicates expressing disjointness. I am not at all wedded to the `_#_` notation. See [the discussion on the Agda Zulip](https://agda.zulipchat.com/#narrow/channel/264623-stdlib/topic/A.20couple.20of.20additions.20to.20.60Relation.2EUnary.60.20to.20consider) for more background.
This PR: * fixes `Felix/Instances/Pred` so that module now typechecks * adds the raw `Cocartesian` instances * adds the lawful instances of `Category` and `Cartesian` (using `MakeLawful`)
I see that #1 started to refactor cartesian; it doesn't appear that the PR was completed but the general idea of refactor `Cartesian` into ``` Category -> Monoidal -> Braided...
> Would you like me to open an issue to add derived properties like Cartesian does? If you'd like to, but there's some design work to be done: * Should...