Issue 159: N4248 Library Preconditions are a Language Feature

Title: N4248 Library Preconditions are a Language Feature
Status: open
Section: [contract]
Submitter: Alisdair Meredith

Created on 2014-10-12.00:00:00 last changed 123 months ago

Messages

msg171 (view)

Date: 2014-11-21.17:12:23

http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4248.html

Discussed at length in Urbana. In general, various paper authors are encourage to do further work together on contract programming. See also issue 137, 141 and 168.

History
Date	User	Action	Args
2014-10-12 00:00:00	admin	create