Idris2

このトピックを指定するにはidris2と入力