New posts in take

LINQ Partition List into Lists of 8 members [duplicate]

linq partitioning skip take

`take n (take n xs) ≡ take n xs` for `Vec` in Agda

vector agda dependent-type take