Agda-2.3.2.2: examples/AIM5/PolyDep/Main.agda

module Main where

import PolyDepPrelude
import Homogenous.Base
import Homogenous.Equality
import Homogenous.Reflexivity
import Homogenous.Nat
import Tools
import Reflexivity
import EqBase
import TYPE