Martin Allen
Martin Allen
So I _think_ I'm including everything, but I'm still getting the same error. I see that you have added support for `naturalEq` in that branch, so I don't really understand....
> Re: building Straw, I don’t know why I _didn’t_ try that. I had only tried `nix build …`. But I’ll go back to it now, and probably I can...
@sellout Just wanted to check in on this one. After thinking about it a little bit, I could also change the underlying representation of `Prime` to be `Integer` instead of...
I didn't try it with raw `Integer`, but I did just swap out the implementation of `galois-fields` to use this instead https://hackage.haskell.org/package/modular-arithmetic-2.0.0.3/docs/Data-Modular.html instantiating `newtype Prime p = Prime (Mod Integer...
>I don’t think Integer will be any better. Both it and Natural changed the same way with GHC 9.0. GHC 8.10 shouldn’t have this issue, if your code would work...
>I don’t think Integer will be any better. Both it and Natural changed the same way with GHC 9.0. GHC 8.10 shouldn’t have this issue, if your code would work...
Yes this makes sense, I can look into this. I’m out of the office/ open source works for the next week, but will accept any pr that fixes it done...
I was thinking about this, I think we can make a smart constructor for constructing a module and not expose the constructor directly. I will try to make a PR
I would note that if I change to the `GridStereo WGS84` then everything passes (as is indicated by your test suite). But I would have thought that surely projecting to...
related to #15924