{-# OPTIONS --cubical --safe #-}

module Data.Fin where

open import Data.Fin.Base public