Andre Knispel
Andre Knispel
## Unavoidable (Do later) Things that we can either not avoid for technical reasons or because they would make things massively more difficult. These need to be explained. - [x]...
The implementation as of Conway forbids duplicate certificates in the same transaction. We don't have to add this restriction right away since the implementation is allowed to be more restrictive...
As @Soupstraw pointed out, it's sometimes confusing to read something like `proj₁`, since it's not always clear if we're projecting out from something we think of as a pair, or...
We need to translate all ledger types to Haskell. The types for which we'll need `Convertible` instances are all those that appear in `Computational` instances. The root types of these...
This is a Conway feature that has been implemented but is still missing from the spec.
This might be difficult because we may have to actually interface with Plutus.
# Description Since the same code sometimes works on my machine and sometimes doesn't, I'm using CI as a reproducible machine. To reproduce locally, use `nix-shell --command 'make ledger.docs'`. The...
Vertical vectors make the PDF way more readable. The issue here is that the LaTeX environment for rendering Agda isn't compatible with that, at least what I tried didn't work....
During bootstrap, DReps don't vote & the CC has some special emergency powers. Bootstrap will end when the term of the bootstrap CC runs out.
There are many properties that are currently part of the rules, which don't really fit into any particular rule thematically, and don't depend on anything but the signal. We could...