Found typos on some documentation pages

[rodol]

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!

[Hongwei Xi]

Fixed.

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-user...@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.