Fin-0.2.1.0: Data/Fin.hs

module Data.Fin (Fin (..), enum, inj₁, lift₁, fromFin, toFin, toFinMay) where

import Data.Fin.Private