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

module Toy

toysAreGreat : Bool
toysAreGreat = True