1. Aleksey Khudyakov
  2. fixed-vector

Commits

Aleksey Khudyakov  committed c21e694

Doc update

  • Participants
  • Parent commits 8a34314
  • Branches version-0.5

Comments (0)

Files changed (1)

File Data/Vector/Fixed/Cont.hs

View file
 -- Cont. vectors and their instances
 ----------------------------------------------------------------
 
--- | Vector represented as continuation.
+-- | Vector represented as continuation. Alternative wording: it's
+--   Church encoding of N-ary vector.
 newtype ContVecT m n a = ContVecT (forall r. Fun n a (m r) -> m r)
 
 -- | Vector as continuation without monadic context.