I saw the following at the beginning of "A Tutorial on Programming Features in ATS":
*The code in the dynamics of ATS is colored red unless it represents proofs, for which the color dark green is used* This is slightly confusing to me. (And I get the sense, maybe I asked this question before, years ago - if so, apologies): aren't proofs a static construct, in the sense that they aren't executed during a program's runtime? -- 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 [email protected]. To post to this group, send email to [email protected]. 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/29e80558-538d-4111-a4d8-aed95c83cb32%40googlegroups.com.
