agda/examples/outdated-and-incorrect/univ/Main.agda

module Main where

import univ
import cwf
import help
import proofs