Agda-2.3.2.2: examples/outdated-and-incorrect/iird/Main.agda

module Main where

import Proof