------------------------------------------------------------------------ -- The Agda standard library -- -- Compatibility module. Pending for removal. Use Data.Fin.Properties -- instead. ------------------------------------------------------------------------ module Data.Fin.Props where open import Data.Fin.Properties public