hello world in ATS2
README
.gitignore