This repository contains basic support for the study of easy programming languages. It is used in the course "Type Systems for Correctness and Security" at Universität Paderborn, Germany. No guarantees apply whatsoever. Use at your own risk.
This project gladly takes pull requests from anyone. If you have a new test case, a new language, a new feature, or found a bug, please let us know by sending us a pull request.