Package fin-lizzie - Namespaces

• Data.Fin.Interpolation
• Data.Fin.Lists

  Functions for collections of `Fin`s
• Data.Fin.Map

  Specialised map from `Fin`s to any type. Isomorphic to a vector of appropriate size of maybe's of appropriate type.
• Data.Fin.Minus

  Special subtraction of a `Fin` from a `Nat`
• Data.Fin.Set

  Specialised set of `Fin`s. Isomorphic to a vector of appropriate size of booleans.
• Data.Fin.ToFin

  Conversions of `Fin`s to `Fin`s