Groups
Sign in
Groups
ats-lang-users
Conversations
Labels
API
ATS3
AVR
Clojure
Erlang
IDE
JVM
JavaScript
PHP
Perl
Python
Scheme
arduino
atsccomp
build
call-by-reference
call-by-value
closure
constraint
contribute
datatype
dependent-type
documentation
effect
emacs
example
general
high-order
install
library
license
linear-closure
linear-type
macro
package
polymorphism
portability
proof
refinement
session
stack-allocation
stream
syntax
tail-recursion
template
termination
theorem-proving
tutorial
type
type-error
About
Send feedback
Help
ats-lang-users
Contact owners and managers
1–5 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Steinway Wu
,
Yannick Duchêne
3
12/1/16
Q&A
ATS Tutorials
I guess substituting HTTP for HTTPS in the tutorial URL may solve the issue. Le vendredi 5 août 2016
unread,
contribute
documentation
Q&A
ATS Tutorials
I guess substituting HTTP for HTTPS in the tutorial URL may solve the issue. Le vendredi 5 août 2016
12/1/16
Steinway Wu
,
gmhwxi
2
7/21/16
Q&A
StackOverflow Documentation Beta
This looks like a very good ecosystem. Yes, we should definitely try hard to get in. Please click. On
unread,
contribute
documentation
Q&A
StackOverflow Documentation Beta
This looks like a very good ecosystem. Yes, we should definitely try hard to get in. Please click. On
7/21/16
Steinway Wu
7/14/16
Q&A
Thinking about moving this group to Discourse.
Hi friends, I'm thinking about moving Google Group to a self-hosted Discourse. Discourse is an
unread,
contribute
general
Q&A
Thinking about moving this group to Discourse.
Hi friends, I'm thinking about moving Google Group to a self-hosted Discourse. Discourse is an
7/14/16
Steinway Wu
,
gmhwxi
2
5/7/15
Q&A
[advertisement] One-Liner for Installing ATS (especially for Cloud9)
Thanks! This can be very convenient for teaching ATS. It is good for testing ATS, too. Cheers, --
unread,
IDE
contribute
Q&A
[advertisement] One-Liner for Installing ATS (especially for Cloud9)
Thanks! This can be very convenient for teaching ATS. It is good for testing ATS, too. Cheers, --
5/7/15
gmhwxi
2
12/3/16
Q&A
ATS-Postiats-test
Hi, I will periodically ask for help on writing code to test ATS. For instance, here is some code for
unread,
contribute
Q&A
ATS-Postiats-test
Hi, I will periodically ask for help on writing code to test ATS. For instance, here is some code for
12/3/16