formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Alonzo documentation

Open WhatisRT opened this issue 1 year ago • 0 comments

These are Alonzo-era things which are currently undocumented here, but are documented in the Alonzo spec. These need to be documented when we want to produce a spec that includes Alonzo from our code base.

Some offenders:

  • [ ] Figure 3 missing PolicyID as abstract type (or probably should explain the special font for abstract types at least)
  • [ ] Tag type
  • [ ] totExUnits

WhatisRT avatar Nov 07 '23 15:11 WhatisRT