Learning functional programs with function invention and reuse

Re-assign community