Groups
Groups
Sign in
Groups
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–3 of 1352
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
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
11/7/14
Q&A
ATS for AVR programming
If you are interested in programming AVRs, please read on. ###### I would like provide an API for
unread,
API
AVR
Q&A
ATS for AVR programming
If you are interested in programming AVRs, please read on. ###### I would like provide an API for
11/7/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
