Libros — programming by example