-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Finite totally-ordered sets
--   
--   Finite totally-ordered sets
@package Fin
@version 0.1.0.0

module Data.Fin
data Fin :: Peano -> *
[Zero] :: Fin (Succ n)
[Succ] :: Fin n -> Fin (Succ n)