https://KeenS.github.io/categories/advent-calendar-202/ Recent content in Advent Calendar 202 on κeenのHappy Hacκing Blog Hugo -- gohugo.io ja-jp Sun, 20 Dec 2020 22:50:48 +0900 https://KeenS.github.io/blog/2020/12/20/idrisnoshintakkusushuga_too_ba_ro_do_atoyu_zateigikoubun/ Sun, 20 Dec 2020 22:50:48 +0900 https://KeenS.github.io/blog/2020/12/20/idrisnoshintakkusushuga_too_ba_ro_do_atoyu_zateigikoubun/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の17日目の記事です。</p> <p>κeenです。今回は小ネタとしてシンタックスシュガー（糖衣構文）やオーバーロードについて紹介します。 あとIdrisにはユーザが構文を拡張できる機能もあるのでそれも紹介します。</p>