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–4 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
theindi...@gmail.com
, …
gmhwxi
4
3/7/18
Q&A
Grammar for ATS2?
Thanks for your effort! Please don't wait for ATS3, which is just a dream as of now :) On
unread,
emacs
syntax
Q&A
Grammar for ATS2?
Thanks for your effort! Please don't wait for ATS3, which is just a dream as of now :) On
3/7/18
Andrew Knapp
, …
gmhwxi
11
10/22/17
Q&A
ATS mode indentation
Unfortunately (or fortunately) I've discovered a few more bugs I should fix before doing the
unread,
emacs
Q&A
ATS mode indentation
Unfortunately (or fortunately) I've discovered a few more bugs I should fix before doing the
10/22/17
gmhwxi
10/26/15
Q&A
Emacs: flycheck support fo ATS2
I would like to bring some attention to this flycheck support for ATS by Mark Laws: https://github.
unread,
emacs
Q&A
Emacs: flycheck support fo ATS2
I would like to bring some attention to this flycheck support for ATS by Mark Laws: https://github.
10/26/15
Hongwei Xi
7/2/15
Fwd: Flycheck support for ATS2 (fwd)
---------- Forwarded message ---------- Date: Wed, 1 Jul 2015 04:01:34 +0900 From: Mark Laws <mdl@
unread,
emacs
Fwd: Flycheck support for ATS2 (fwd)
---------- Forwarded message ---------- Date: Wed, 1 Jul 2015 04:01:34 +0900 From: Mark Laws <mdl@
7/2/15