Hello, first post here. What awesome languages you guys are making! I have bolded the typo, preceded by the link in which it was found.
https://ats-lang.github.io/DOCUMENT/INT2PROGINATS/HTML/INT2PROGINATS-BOOK-onechunk.html#programming-with-dependent-types // please write *you* program in this section https://sparverius.github.io/tmplats-doc/docs/doc2 xforall: It is the *z*-version of forall Thank you! -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/0de02504-7990-48df-9675-5d4d12d04707%40googlegroups.com.
