今回大学の講義で使用したAgdaについての紹介です。 そもそもAgdaとは？wikiによると Agdaは定理証明器、すなわち数学的な証明を検証するコンピュータプログラムである （中略） 他の定理証明支援系ではスクリプトによって「戦略」を指定して証明を操作する…