Skip to first unread message
gmhwxi
Dec 9, 2015, 1:20:15 AM12/9/15
to ats-lang-users
This article on session combinators will be gradually expanded:
http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/ssntyped-channels-2/index.html
gmhwxi
Dec 11, 2015, 2:00:17 PM12/11/15
to ats-lang-users
At this point, this article on session combinators is largely finished.
Cheers!
Reply all
Reply to author
Forward
0 new messages