あぐださん！あぐださんヤッホ！ Agda2に手を出してみた．とりあえずインストールし文法とかagda-modeとかをザックリとだが覚え，クイックソートを止められるあたりまで把握したので，練習としてData.Natに無さげだった速い冪乗を書いてみることに．とりあえ…