new contract syntax DIP

[Timon Gehr via Digitalmars-d]

On 23.05.2017 19:28, MysticZach wrote:
> I made a pull request for a new DIP dealing with contract syntax:
> 
> https://github.com/dlang/DIPs/pull/66
> 
> I write the DIP in response to the discussions for DIP 1003: 
> http://forum.dlang.org/thread/wcqebjzdjxldeywlxjcd@forum.dlang.org
> 
> This DIP is not under any kind of formal review yet. I just wanted to 
> let people know that it's there.
> 

For inspiration: https://github.com/Microsoft/dafny