叢がソフトウェア科学会第42回大会に併設されて行われる PPL サマースクール 2025 で、Agda による依存型プログラミングに関する講演を行います。
講演資料は GitHub で公開されています。
