On 6/8/16 1:50 PM, Timon Gehr wrote:
I'll probably do it at some point. (However, first I need to figure out what the formal language specification should actually be, this is one reason why I'm implementing a D compiler.)
That's very very promising. Looking forward to anything in that area! -- Andrei
