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

Published 20 hours ago • verified publisher icon IntersectMBO

Organise preludes (e.g. `PreludeMeta` vs `MetaPrelude`)

Open omelkonian opened this issue 1 year ago • 0 comments 

          We now have `PreludeMeta` and `MetaPrelude`. There's probably some improvement to this structure that could be done at some point.

Originally posted by @WhatisRT in https://github.com/input-output-hk/formal-ledger-specifications/pull/301#discussion_r1391358656

omelkonian avatar Nov 13 '23 16:11 omelkonian