The Software Technology Research Group develops this pure lazy functional programming language with hybrid static dynamic typing and Integrated Development Environment IDE with syntax coloring editor descriptions papers software downloads