GearsAgdaでのモデル検査

一応、やるつもり

Raceconditiobの例題から