The documentation is currently oudated. There are some examples in the README of the original project. We are currenty in the process of updating the documentation here however!
The documentation of the Mamba programming language.
Here you can find both the informal description of the language feaures, and the formal specification of the language.