Fin-0.2.1.0: Data/Fin/List.hs

module Data.Fin.List (Peano, List (..),
                      fromList, uncons, head, tail, init, last, reverse, (!!)) where

import Prelude ()
import Data.Fin.Private
import Data.Peano