idris-0.9.11: test/basic009/Multiple.idr

module Multiple

import Prelude.Vect as X
import Prelude.List as X