added dsl.lhs