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–10 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Artyom Shalkhakov
, …
gmhwxi
7
5/27/19
Q&A
libatscc: packaging
This is a great idea! I would suggest that we follow the library support for Temptory to build this
unread,
atsccomp
library
package
Q&A
libatscc: packaging
This is a great idea! I would suggest that we follow the library support for Temptory to build this
5/27/19
Steinway Wu
5/1/18
Q&A
ATS-Redis
Hi all, I just updated the ats-redis bindings to work with the latest hiredis. https://github.com/
unread,
library
package
Q&A
ATS-Redis
Hi all, I just updated the ats-redis bindings to work with the latest hiredis. https://github.com/
5/1/18
Steinway Wu
, …
Brandon Barker
5
5/7/18
Q&A
Nix
Hey - Yeah, I like Nix in principle. I actually use it in a docker container with Ubuntu 16.04 base,
unread,
build
package
Q&A
Nix
Hey - Yeah, I like Nix in principle. I actually use it in a docker container with Ubuntu 16.04 base,
5/7/18
vamc...@gmail.com
, …
Artyom Shalkhakov
3
2/20/18
Q&A
ATSPackage: a build tool/package manager for ATS
Hi, On Sunday, February 18, 2018 at 12:50:54 PM UTC+6, vamc...@gmail.com wrote: Hi all, I have been
unread,
build
package
Q&A
ATSPackage: a build tool/package manager for ATS
Hi, On Sunday, February 18, 2018 at 12:50:54 PM UTC+6, vamc...@gmail.com wrote: Hi all, I have been
2/20/18
gmhwxi
1/28/17
Q&A
Effective ATS: Let's start with package-based programming
I wrote a short article on programming with packages in ATS: http://ats-lang.sourceforge.net/EXAMPLE/
unread,
documentation
package
Q&A
Effective ATS: Let's start with package-based programming
I wrote a short article on programming with packages in ATS: http://ats-lang.sourceforge.net/EXAMPLE/
1/28/17
gmhwxi
2
1/29/17
Q&A
How to create a package for use with ATS?
A few more guidelines on packaging: mydepies.dats: upstream linking mydepies.hats: upstream
unread,
package
Q&A
How to create a package for use with ATS?
A few more guidelines on packaging: mydepies.dats: upstream linking mydepies.hats: upstream
1/29/17
gmhwxi
,
William Blair
5
1/23/17
Q&A
ATS-Postiats-extra-npm
You may take a look at the following published packages: atscntrb-hx-intinf atscntrb-hx-mygrading As
unread,
package
Q&A
ATS-Postiats-extra-npm
You may take a look at the following published packages: atscntrb-hx-intinf atscntrb-hx-mygrading As
1/23/17
gmhwxi
,
Steinway Wu
5
1/19/17
Q&A
Support in ATS for using external packages
Yes, there is a lot of moving around. Please take a look at the scripts to see how these utils can be
unread,
package
Q&A
Support in ATS for using external packages
Yes, there is a lot of moving around. Please take a look at the scripts to see how these utils can be
1/19/17
Yannick Duchêne
,
gmhwxi
2
8/7/14
Q&A
Available arithmetic types provided in prelude
So far, there is no significant work in ATS on handling integer arithmetic overflow. Here is a
unread,
documentation
package
type
Q&A
Available arithmetic types provided in prelude
So far, there is no significant work in ATS on handling integer arithmetic overflow. Here is a
8/7/14
gmhwxi
,
Chris Double
2
5/15/14
Q&A
API in ATS for libev
On Fri, May 16, 2014 at 3:05 AM, gmhwxi <gmh...@gmail.com> wrote: > If something can be done
unread,
API
package
Q&A
API in ATS for libev
On Fri, May 16, 2014 at 3:05 AM, gmhwxi <gmh...@gmail.com> wrote: > If something can be done
5/15/14