Dependent types in half of D

[Timon Gehr via Digitalmars-d]

On 07/30/2015 12:40 PM, Max Klyga wrote:
> Just noticed a nice blog post about mapping dependent type applications
> to D.
> http://www.infognition.com/blog/2015/dependent_types_in_d.html
>
> reddit:
> https://www.reddit.com/r/programming/comments/3f59f4/dependent_types_in_half_of_d/
>

As already noted on announce, there is no dependent typing here. 
Failures occur during interpretation.