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

Published 20 hours ago • verified publisher icon IntersectMBO

Tasks for conformance testing

Open Soupstraw opened this issue 1 year ago • 0 comments

  • [ ] Add support for inline datums
  • [x] Add withdrawals
  • [x] Add more rules to MAlonzo
  • [x] Add error messages when a computational rule fails

Soupstraw avatar Dec 06 '23 16:12 Soupstraw