I found a quine using ATS language

Google Group
1

Great!

I put it here:

Since you have mentioned source of the code, I assume that there is no
copyright infringement here.On Friday, July 1, 2016 at 4:59:11 PM UTC-4, Kiwamu Okabe wrote:

Hi all,

Today, I found a quine using ATS language.
It’s a project by NANAKASE Kotoko.

$ wget 
https://raw.githubusercontent.com/MakeNowJust/quine/master/quine.dats 
$ patscc quine.dats 
$ ./a.out 
val q = '"'; val s = @("val q = '", "'; val s = @(", "); implement 
main0 () = (print s.0; print q; print s.1; print q; print s.0; print 
q; print s.3; print q; print s.1; print q; print s.3; print q; print 
s.2; print q; print s.3; print q; print s.3; print q; print s.2; 
print_newline ())", ", "); implement main0 () = (print s.0; print q; 
print s.1; print q; print s.0; print q; print s.3; print q; print s.1; 
print q; print s.3; print q; print s.2; print q; print s.3; print q; 
print s.3; print q; print s.2; print_newline ())

Very fun!

Kiwamu Okabe at METASEPI DESIGN