Memory allocation purity

[Timon Gehr via Digitalmars-d]

On 05/16/2014 07:41 PM, Andrei Alexandrescu wrote:
> On 5/16/14, 4:53 AM, Timon Gehr wrote:
>> ...
>>
>> Yes, either that or one could even just implement it in the existing
>> language by introducing types for evidence, and basic termination
>> checking.
>>
>> eg. http://dpaste.dzfl.pl/33018edab028

 > On 5/16/14, 4:53 AM, Timon Gehr wrote:
> (This is a really basic example. Templates or more language features
> could be used to simplify some of the more tedious steps, but I think
> it illustrates well the basic ideas. Maybe there are some small mistakes
> because I didn't find the time to actually implement the checker.)

>
> Typo: int_leibiz_equality :o). -- Andrei

If that is everything, then I am in good shape! :o)