Chapter on Linearly Typed Lists in ATS2TUTORIAL

28 views
Skip to first unread message

gmhwxi

unread,
Mar 31, 2015, 10:55:26 AM3/31/15
to ats-lan...@googlegroups.com

Zhiqiang Ren

unread,
Apr 8, 2015, 11:25:04 PM4/8/15
to ats-lan...@googlegroups.com
I think the following may be a typo.

=========================
which is a viewtype is for a list-node created by
=========================

Hongwei Xi

unread,
Apr 9, 2015, 10:15:58 AM4/9/15
to ats-lan...@googlegroups.com
Fixed. Thanks!

--
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 post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/daa9a86a-0f3b-45fe-8117-87340faa2d88%40googlegroups.com.

Reply all
Reply to author
Forward
0 new messages