Fixed. Thank you!
On Tue, Nov 26, 2019 at 3:14 AM rodol <atlas.dos...@gmail.com> wrote: > 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 > <https://groups.google.com/d/msgid/ats-lang-users/0de02504-7990-48df-9675-5d4d12d04707%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAPPSPLpMfMxjeb29zF8eC6wHMNmwTm%3D9srCj9OBOQXf14sfUZg%40mail.gmail.com.
