Jonathan Lorimer
Jonathan Lorimer
Hello, there is an issue where (if a repo uses `main` instead of `master`) `generatedCargoNix` fails. The offending line is here https://github.com/kolloch/crate2nix/blob/master/tools.nix#L237. Unfortunately `master` is a sensible default given legacy...
I am getting this error, and I think it is because the git dependency that is being fetched is a workspace. Here is the dependency that is being fetched https://github.com/informalsystems/modelator....
### Is there an existing issue for this? - [X] I have searched the existing issues ### Current Behavior When running web3.js in the browser via a react app served...
This haskell code generates the corresponding type error: ```haskell data MyErr1 = MyErr1 deriving (Show) instance Exception MyErr1 data MyErr2 = MyErr2 deriving (Show) instance Exception MyErr2 data MyErr3 =...
I think that allowing the user to wrap an IO action in `EIO` can lead to confusing type errors. I propose that we instead introduce some functions such as these:...
I am not sure if this is possible. The first hurdle is getting an applicative and monad instance. The naive applicative implementation gives this error: ```idris src/EIO.hs:54:15-54: error: • Couldn't...
I wrote a quick nix derivation for this project, and it seems to be running fine. You can access it by the nix flake api. You can find the repo...
**Describe the bug** Getting an error on the `commands` attr when trying to configure the devshell via nix ``` nix develop --show-trace warning: Git tree '/home/jonathanl/Code/bank-wallet-backend-rs' is dirty error:...
Update Logo
I thought it might be nice update the Cabal logo! I wanted to pay homage to the old logo, while cleaning it up slightly. This PR adds some logo assets...