Gren: A programming language for simple and correct applications

Motivation and demo by the author: https://youtu.be/NMGShaoRAZE?si=i-MiQUz4qjJzdDNu