{-# OPTIONS --safe #-}

module Cubical.Data.Fin where

open import Cubical.Data.Fin.Base       public
open import Cubical.Data.Fin.Properties public
open import Cubical.Data.Fin.Literals   public