Skip to content
New issue

ethereum-contracts@vF - Towards The Denotational Payment Primitives Future

No due date 100% complete
  • Split each agreement into two:
    • functional code: for easier isolated functional requirement testing, formal verification
    • effect code

There are no open issues in this milestone.

Add issues to milestones to help organize your work for a particular release or project.

Create new issue

Or find and add issues with no milestone in this repo.