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–6 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Ryan King
, …
gmhwxi
5
2/20/17
Q&A
The Joy of ATS 1: Installing ATS
Just updated the guide with that line, as well as a Dockerfile! On Tuesday, February 14, 2017 at 8:41
unread,
install
Q&A
The Joy of ATS 1: Installing ATS
Just updated the guide with that line, as well as a Dockerfile! On Tuesday, February 14, 2017 at 8:41
2/20/17
Ryan King
,
gmhwxi
2
9/13/16
Q&A
ATS2 Install Script for OS X
Thanks! I will mention it on the ATS website as well. On Monday, September 12, 2016 at 10:54:32 PM
unread,
install
Q&A
ATS2 Install Script for OS X
Thanks! I will mention it on the ATS website as well. On Monday, September 12, 2016 at 10:54:32 PM
9/13/16
Artyom Shalkhakov
,
Hongwei Xi
4
4/25/16
Q&A
Script for installing/testing ATS2 under MSYS2
Pulled. Thanks! On Mon, Apr 25, 2016 at 4:55 AM, Artyom Shalkhakov <artyom.s...@gmail.com
unread,
install
Q&A
Script for installing/testing ATS2 under MSYS2
Pulled. Thanks! On Mon, Apr 25, 2016 at 4:55 AM, Artyom Shalkhakov <artyom.s...@gmail.com
4/25/16
gmhwxi
4/12/16
Q&A
Script for installing/testing the latest ATS2
For installing/testing the latest version of ATS2 (available at Github): https://github.com/ats-lang/
unread,
install
Q&A
Script for installing/testing the latest ATS2
For installing/testing the latest version of ATS2 (available at Github): https://github.com/ats-lang/
4/12/16
gmhwxi
,
Raoul Duke
2
2/5/16
Q&A
Trying out ATS2/ATS2-contrib
I will try this since I think I have never had too much luck on personal machines. :-) Not that you
unread,
build
install
Q&A
Trying out ATS2/ATS2-contrib
I will try this since I think I have never had too much luck on personal machines. :-) Not that you
2/5/16
gmhwxi
, …
Yannick Duchêne
7
11/24/15
Q&A
Scripts for installing ATS2/ATS2-contrib
Fixed. Thanks! On Tue, Nov 24, 2015 at 2:00 PM, 'Yannick Duchêne' via ats-lang-users <ats-
unread,
install
Q&A
Scripts for installing ATS2/ATS2-contrib
Fixed. Thanks! On Tue, Nov 24, 2015 at 2:00 PM, 'Yannick Duchêne' via ats-lang-users <ats-
11/24/15