A programming language to skip the things you have already computed - View it on GitHub