cardano-base icon indicating copy to clipboard operation
cardano-base copied to clipboard

Published 20 hours ago • verified publisher icon input-output-hk

Lift `totalPeriodsKES` to the type level

Open tdammers opened this issue 2 years ago • 0 comments
trafficstars

Similar to key and seed sizes, define TotalPeriodsKES as a type-level Nat, and implement term-level totalPeriodsKES in terms of natVal.

tdammers avatar Feb 01 '23 15:02 tdammers