skip · A programming language to skip the things you have already computed