byron-spec-ledger-1.0.1.0: Executable specification of Cardano ledger

Index - N

nextEpochDelegationsRatioByron.Spec.Ledger.Delegation
NonPositiveOutputsByron.Spec.Ledger.STS.UTXO
NoPVBUMPFailureByron.Spec.Ledger.Update
NotADelegateByron.Spec.Ledger.Update
NotGenesisDelegateByron.Spec.Ledger.Update
NoUpdateProposalByron.Spec.Ledger.Update