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)
