# I found a quine using ATS language

**URL:** <https://discourse.ats-lang.org/t/i-found-a-quine-using-ats-language/806>\
**Category:** Google Group\
**Created:** [July 1, 2016, 9:22pm UTC](https://discourse.ats-lang.org/t/i-found-a-quine-using-ats-language/806 "2016-07-01T21:22:52Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [July 1, 2016, 9:22pm UTC](https://discourse.ats-lang.org/t/i-found-a-quine-using-ats-language/806/1 "2016-07-01T21:22:52Z")

</div>

Great!

I put it here:

> **[Untitled](https://glot.io/snippets/eg5hyv7nmo)**
>
> 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; p

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.
> 
> ```auto
> $ 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