Move leap solution to example.ml