{-# OPTIONS --safe #-}
module Data.Fin where

open import Data.Fin.Base public
open import Data.Fin.Path public
-- open import Data.Fin.Properties public

open import Data.Fin.Instances.Everything public
