Paul S.

Results 137 comments of Paul S.

It works, thank you. Though, I think it's still a good idea to fix it in the brew formula or in the code itself.

https://github.com/NixOS/nixpkgs/issues/137698

Well, working deb package can be reused in Nix relatively easy.

Well, if you need to extract constructors, you _kinda_ can do it now if you run on JVM by java-reflecting the closest `Class[_]` which _is_ being preserved by i-r. Of...

There is a stub functionality you may use. `newModule` / `newStub`

There are two issues with this P/R: 1) This code is still polymorphic. It's polymorphic code abstracting from monofunctor it runs on. 2) This P/R just replaces existing code while...

It supported in V2. You may bring it into v1 also. Should be doable.

Hi, Actually @kaishh is right. It's a bad idea to start working on this now. We should precompute an abstract representation for lenses during typing phase then render it in...