Hi Aditya, Great talk! You did a great job presenting a difficult system in a easy-to-understand way :)
Just wanna point out a detail. Proofs are dynamic terms (of sort "prop"). So they are not really "type-level". But I guess it is ok to say "type-level" in the talk since they will be erased after proof-checking and you didn't really go into the details about the proof language. Again, thank you very much for the presentation! On Monday, October 2, 2017 at 11:18:38 AM UTC-4, aditya siram wrote: > > No problem. ATS is a great language! Feedback welcome. > > On Monday, October 2, 2017 at 8:42:57 AM UTC-5, gmhwxi wrote: >> >> >> This is really good publicity for ATS :) >> >> Thanks!!! >> >> On Monday, October 2, 2017 at 3:02:03 AM UTC-4, Artyom Shalkhakov wrote: >>> >>> Seen on reddit: >>> >>> >>> https://www.reddit.com/r/programming/comments/73lhj0/a_not_so_gentle_introduction_to_systems/ >>> >>> Also see the discussion on r/rust: >>> >>> >>> https://www.reddit.com/r/rust/comments/73j4p5/a_not_so_gentle_introduction_to_systems/ >>> >>> Cheers! >>> >> -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/074a63a6-cf40-491f-b83f-7ba5f2887e05%40googlegroups.com.
