This Reference aims at providing a quick "cheatsheet" for the concepts and the syntax implemented in the SetlX-Language. It doesn't substitute a basic understanding of the language and its concepts!
For a complete Introduction / Explanation of SetlX, please refer to its "In-Depth" Tutorial or the corresponding lecture by Prof. Dr. Karl Stroetmann.
Please feel free to submit your additions or corrections of errors via Pull Requests with the extended Reference or via GitHub-Issues (optionally with the suplementary files attatched to them). Your contributions will be reviewed and added as fast as possible.
I have created some issues, which are all up for grabs if you are searching for some inspiration where exactly you could start to improve this reference. For each issue which is yet unassigned, your help is wanted.