idris-0.12.3: test/pkg007/toy/Toy/Vehicle.idr

module Toy.Vehicle

carNoise : String
carNoise = "VROOOOM"