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–9 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
gmhwxi
11/11/15
Q&A
Solving the 8-queens problem on Arduino
For a bit fun. Here is a little demo by Andrew Tarrh showing solutions to the eight-queens problem on
unread,
arduino
Q&A
Solving the 8-queens problem on Arduino
For a bit fun. Here is a little demo by Andrew Tarrh showing solutions to the eight-queens problem on
11/11/15
gmhwxi
9/21/15
Q&A
Arduino programming in ATS: API for LedControl
I did a small API in ATS for using LedControl in arduino programming. See: https://github.com/githwxi
unread,
AVR
arduino
Q&A
Arduino programming in ATS: API for LedControl
I did a small API in ATS for using LedControl in arduino programming. See: https://github.com/githwxi
9/21/15
gmhwxi
,
Kiwamu Okabe
4
12/2/14
Q&A
Arduino + Yun shield
Here is the changed link: https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/arduino
unread,
arduino
Q&A
Arduino + Yun shield
Here is the changed link: https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/arduino
12/2/14
gmhwxi
,
Kiwamu Okabe
9
11/12/14
Q&A
ATS for Arduino
Hu-! On Wed, Nov 12, 2014 at 7:37 AM, gmhwxi <gmh...@gmail.com> wrote: > It is done: >
unread,
arduino
Q&A
ATS for Arduino
Hu-! On Wed, Nov 12, 2014 at 7:37 AM, gmhwxi <gmh...@gmail.com> wrote: > It is done: >
11/12/14
Kiwamu Okabe
,
Hongwei Xi
2
10/19/14
Functional programming on Arduino Uno
Thanks a lot! I am now collecting news items for the ATS community. See: http://www.ats-lang.org/
unread,
arduino
Functional programming on Arduino Uno
Thanks a lot! I am now collecting news items for the ATS community. See: http://www.ats-lang.org/
10/19/14
Hongwei Xi
,
Kiwamu Okabe
36
9/16/14
Fwd: [ats-lang-users] Multiple {DATS,SATS} directory
Hi Hongwei, On Tue, Sep 16, 2014 at 12:54 PM, gmhwxi <gmh...@gmail.com> wrote: > Is your new
unread,
arduino
Fwd: [ats-lang-users] Multiple {DATS,SATS} directory
Hi Hongwei, On Tue, Sep 16, 2014 at 12:54 PM, gmhwxi <gmh...@gmail.com> wrote: > Is your new
9/16/14
Kiwamu Okabe
,
gmhwxi
2
9/1/14
[Demo] LCD controlled by ATS2 on 8-bit AVR arch
This is really cool :) On Monday, September 1, 2014 9:32:56 AM UTC-4, Kiwamu Okabe wrote: Hi all, Now
unread,
AVR
arduino
[Demo] LCD controlled by ATS2 on 8-bit AVR arch
This is really cool :) On Monday, September 1, 2014 9:32:56 AM UTC-4, Kiwamu Okabe wrote: Hi all, Now
9/1/14
Kiwamu Okabe
, …
gmhwxi
19
5/17/14
ATS programing on ChibiOS/RT and Arduino
This is parallel-let binding. It was actually supported in ATS at one-point as an experiment: http://
unread,
arduino
ATS programing on ChibiOS/RT and Arduino
This is parallel-let binding. It was actually supported in ATS at one-point as an experiment: http://
5/17/14
Kiwamu Okabe
2
5/8/14
ATS programing on Arduino
On Thu, May 8, 2014 at 4:23 PM, Kiwamu Okabe <kiw...@debian.or.jp> wrote: > My first ATS
unread,
arduino
ATS programing on Arduino
On Thu, May 8, 2014 at 4:23 PM, Kiwamu Okabe <kiw...@debian.or.jp> wrote: > My first ATS
5/8/14