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
gmhwxi
10/25/17
Q&A
Help needed to format documentation for library functions
Hi, I am working on documenting some of the functions in the library specifically made for the book
unread,
documentation
library
Q&A
Help needed to format documentation for library functions
Hi, I am working on documenting some of the functions in the library specifically made for the book
10/25/17
gmhwxi
,
Raoul Duke
4
11/7/15
Q&A
Try ATS in your browser
I added a little explanation about the GUI for this server-less service of try-ats-in-your-browser:
unread,
JavaScript
build
library
Q&A
Try ATS in your browser
I added a little explanation about the GUI for this server-less service of try-ats-in-your-browser:
11/7/15
gmhwxi
2
11/3/15
Q&A
Running atscc2js in the browser
Here is a WebWorker-based version: http://ats-lang.github.io/EXPERIMENT/test_libatscc2js/
unread,
JavaScript
library
Q&A
Running atscc2js in the browser
Here is a WebWorker-based version: http://ats-lang.github.io/EXPERIMENT/test_libatscc2js/
11/3/15
gmhwxi
,
H Zhang
13
11/6/15
Q&A
libatsopt
I just noticed that running 2 pieces of Emscripten generated JS code could cause a conflict between
unread,
JavaScript
build
library
Q&A
libatsopt
I just noticed that running 2 pieces of Emscripten generated JS code could cause a conflict between
11/6/15
gmhwxi
, …
Yannick Duchêne
14
5/28/15
Q&A
Creating a package written in ATS
Le vendredi 29 mai 2015 01:04:28 UTC+2, gmhwxi a écrit : Just to have all the implements available to
unread,
example
library
portability
Q&A
Creating a package written in ATS
Le vendredi 29 mai 2015 01:04:28 UTC+2, gmhwxi a écrit : Just to have all the implements available to
5/28/15
Yannick Duchêne
, …
William Blair
3
5/15/15
Q&A
What is the `cls` sort seen in `basics_pre.sats`?
A good example of using the `cls` sort for doing OOP is the ATS library for GTK. In that code, the `
unread,
documentation
library
Q&A
What is the `cls` sort seen in `basics_pre.sats`?
A good example of using the `cls` sort for doing OOP is the ATS library for GTK. In that code, the `
5/15/15
Yannick Duchêne
,
Hongwei Xi
4
2/11/15
Q&A
Is there a linear file type is the ATS2 default library?
See: https://github.com/githwxi/ATS-Postiats/blob/master/prelude/basics_dyn.sats The proof you need
unread,
library
Q&A
Is there a linear file type is the ATS2 default library?
See: https://github.com/githwxi/ATS-Postiats/blob/master/prelude/basics_dyn.sats The proof you need
2/11/15
gmhwxi
1/13/15
Q&A
bit-vector available in ATSLIB
Please see: https://github.com/githwxi/ATS-Postiats/blob/master/libats/SATS/bitvec.sats
unread,
library
Q&A
bit-vector available in ATSLIB
Please see: https://github.com/githwxi/ATS-Postiats/blob/master/libats/SATS/bitvec.sats
1/13/15