My attempt to create a basic-alike programming language with static assertions. - View it on GitHub