AtCoderでKokaを使うときのTips

2023年8月に行なわれた言語アップデートにより AtCoder で Koka が使えるようになりました。 この記事では Koka を使って問題を解くときに役に立ちそうな情報を書いていきます。

Read more →