P1334 Specifying Concrete Semantics Directly in Contract-Checking Statements #73

Closed

Closed

P1334 Specifying Concrete Semantics Directly in Contract-Checking Statements#73

Labels

Milestone

opened

P1334R0 Specifying Concrete Semantics Directly in Contract-Checking Statements (Joshua Berne, John Lakos)

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

2019-07

Relationships

None yet

Development

No branches or pull requests