On 7/30/15 3:31 AM, thedeemon wrote:
I had this idea for a long time but a recent talk about a real
dependently typed language helped me with nice examples to demonstrate
on. The interpreted part of D is actually dependently typed!


Thanks to the person who put this on reddit: https://www.reddit.com/r/programming/comments/3f59f4/dependent_types_in_half_of_d/


Reply via email to