Agda Tutorial を読んで、自分なりにまとめたメモ。 今回は Modules から Recursive Sets まで。 Modules すべての Agda module は以下の形式のヘッダから定義が始まります。 module Modules.Basic where module と where は Agda の keyword (予約語) モジ…