ref: https://github.com/mame/quine-relay今日は、ATS を追加しました (76 言語目、コミット) 。ATS は、Automatic Train Stop の略ではなく、なんか強力な型システムを備えたプログラミング言語です。内容は知りませんが、定理証明界隈で名前を聞く気がし…