<div dir="ltr"><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">The Basold paper looks really good, I am excited to jump in.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Perhaps as a side note, these are really exciting times. How</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">wonderful to see the places modern type theory is seeping</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">its way into the structure and implementation of practical</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">programs.</div></div>