idris-0.9.16: test/basic009/Multiple.idr

module Multiple

import Data.Vect as X
import Data.List as X