<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2014-09-17 17:42 GMT+02:00 Andrzej Krzemienski <span dir="ltr"><<a href="mailto:akrzemi1@gmail.com" target="_blank">akrzemi1@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div><div><div><div><div>Hi Clang Developers,<br></div>I am writing a paper on the possibility of the addition of contract programming features to ISO C++. Here's the link: <a href="http://htmlpreview.github.io/?https://github.com/HowardHinnant/papers/blob/master/hashing.html" target="_blank">http://htmlpreview.github.io/?https://github.com/akrzemi1/contract/blob/master/contract.html</a><br></div></div></div></div></div></div></blockquote><div><br></div><div>Sorry, I meant this link: <a href="http://htmlpreview.github.io/?https://github.com/akrzemi1/contract/blob/master/contract.html" target="_blank">http://htmlpreview.github.io/?https://github.com/akrzemi1/contract/blob/master/contract.html</a><br><br></div><div>Regards,<br></div><div>&rzej<br> </div></div></div></div>