I've installed ATS by typing the following commands:
```
sudo apt install ats2-lang
sudo apt install ats-lang-anairiats
```
My learn.dats file:
```
implement
main0 () = print("Hello, world!\n")
```
But atscc cannot compile it:
```
$ atscc -o hello learn.dats
/usr/lib/ats-anairiats-0.2.11/bin/a
Hi Temirkhan,
Please use "patscc" instead of "atscc".
ср, 26 февр. 2020 г. в 18:40, Temirkhan Myrzamadi :
> I've installed ATS by typing the following commands:
>
> ```
> sudo apt install ats2-lang
> sudo apt install ats-lang-anairiats
> ```
>
> My learn.dats file:
>
> ```
> implement
> main0 ()
This helped, thank you!
On Wednesday, February 26, 2020 at 10:43:04 PM UTC+6, Artyom Shalkhakov
wrote:
>
> Hi Temirkhan,
>
> Please use "patscc" instead of "atscc".
>
> ср, 26 февр. 2020 г. в 18:40, Temirkhan Myrzamadi >:
>
>> I've installed ATS by typing the following commands:
>>
>> ```
>> sud
I see. You must have installed via the apt tool or something similar.
You can find how to install ATS on www.ats-lang.org
By the way, I think that you can make your program working if you write
implement main() = (print "Hello, world!\n"; 0)
Anyway, please install ATS2 (ATS-Postiats). What you
