Tiny programming language based on combinatory logic