question: public ListenableFuture < String > push ( final String name , final Expression func ) { String let = String . format ( "let %s = %s" , name , func . toHaskell ( ) ) ; return pullRaw ( let ) ; }
target:  Uploads a new let binding to ghci