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

module Main where

import univ
import cwf
import help
import proofs