I have created a video where I explain an example (the Logging Example) written in Composition Language 1.
DIVEX is a dependency injection tool that allows you to compose objects and functions in C# in a way that makes your code more maintainable.
One thing DIVEX is about, is the ability to decide on certain things and leave other things undecided. This is demonstrated in this example.
Composition Language 1 is language that is based in C# and that allows you to use DIVEX in a way that does not result in verbose code.