skip

A programming language to skip the things you have already computed