Andre Knispel

> ``` > -- This is the slightly weird semantics: > -- A.s doesn't take a Z parameter > _ : Nat > _ = A.s > ``` Ohh, I...

I'll add the CHANGELOG once 2.1 is out.

I've added the changes to the CHANGELOG. I don't really understand what's the final verdict on the naming, should I change some of the names or not?

Sorry, I think I missed some of the naming suggestions. But it seems you all have way stronger opinions about that than I do so I'd rather let you do...

Completed by #564 (`CONTRIBUTING.md` was also updated in some other PR that I don't want to search for).

I should say that this minimal example I made doesn't appear to be affected by `--no-forcing`. So it's probably something else in the larger context that repaired this issue when...

> To make this check easier, I think we should add a boolean flag into the plutus script context indicating whether it is a sub-transaction or a regular transaction. I...

Right, this is [CIP-112](https://github.com/cardano-foundation/CIPs/pull/749). I think that's a good point, but it might be a bit orthogonal to this issue because even with a new version if there are use...

Here's the deposits bug: it should be `acnt''` in `RatifyEnv` at https://github.com/IntersectMBO/formal-ledger-specifications/blob/master/src/Ledger/Conway/Specification/Epoch.lagda.md?plain=1#L732

Hmm, that's an interesting one. This behaviour isn't preserved by bisimulation, so I think we could also make the case that conformance shouldn't fail when two DReps are expired but...