Nicolas Biri
Nicolas Biri
The starting point was a similar issue from the one raised in #209. Compared to the solution proposed in the thread, I'd prefer to go for a whole set of...
The compiler seems to struggle to unify interfaces with dependent types with their implementation. # Steps to Reproduce try to compile this module: ``` module Test data Dummy : (lbl...
In some cases (can't be more precise about the context unfortunately) the implementation of a typeclass with several parameters doesn't work, the compiler mixes up the parameter order. It can...
- Move to CHaP - Introduce a nix-flake - Remove pab - Upgrade the game example for plutus-app1-1