formal-ledger-specification commit 23fd5e9543df81397946f3ff17d8b07715…

…f96186
input-output-hk · May 6, 2024 · d30dfe7 · d30dfe7
1 parent ac7af15
commit d30dfe7
Show file tree

Hide file tree

Showing 7 changed files with 16,489 additions and 4,320 deletions.
diff --git a/MAlonzo/Code/Ledger/Deleg/Properties.hs b/MAlonzo/Code/Ledger/Deleg/Properties.hs