Vect.idr « Setoid « Data « src - yellowsquid/idris-setoid.git - [no description]

summary refs log tree commit diff

path: root/src/Data/Setoid/Vect.idr

blob: 7416f8afad7a9567dddf9d4220e121a4e6298532 (plain)

||| The setoid of vectors over a given setoid
module Data.Setoid.Vect

import public Data.Setoid.Vect.Functional