Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Byron.Spec.Ledger.Update.Examples
Description
Examples of the application of the update rules.
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Byron.Spec.Ledger.Update.Examples
Description
Examples of the application of the update rules.