Alexey Kuleshevich

```haskell class (KnownSymbol name, Era era) => HuddleRule (name :: Symbol) era where huddleRuleBody :: Proxy era -> Type0 instance Era era => HuddleRule "epoch" era where huddleRuleBody _ =...

There is WIP PR: https://github.com/lehins/massiv/pull/152/files I am trying to find some time to clean up and update the setup, but quite a bit busy at work and at home at...

This behavior you just described is indeed as expected. It was designed in such a way on purpose to give CC opportunity to cost a vote one full epoch before...

> Duplicate of https://github.com/IntersectMBO/cardano-ledger/issues/4066 Not exactly. #4066 is about non-empty lists, while this ticket is about Sets and Maps.

> I think it's a good idea to re-implement the roundtripping logic using ImpSpec ImpSpec should not be necessary for round trip testing. There is no large state that we...

Right after waking up today in the morning, I realized that a very simple implementation is indeed possible for this feature: Upon validation of the top level transaction, and after...

> the second Top-Level-Tx validation is just to re-run the scripts? why do we need to check other things in the tx? Not exactly, it wouldn't be the second validation...

This warning shows on OpenSUSE (probably others as well) when entering `nix develop`: ``` bash: warning: setlocale: LC_ALL: cannot change locale (en_US.UTF-8): No such file or directory ```

I learned recently that [this line](https://github.com/IntersectMBO/cardano-ledger/blob/0a16648436f1fa5d655e5ca471d48257e3a71aec/flake.nix#L105) is not needed for nix, hence is the warning.

This issue is causing a lot of problems for the community and one of the most useful feature for libraries: namely sublibrraies, is unusable because of this, eg: https://github.com/haskell/vector/issues/550 Are...