A User Study of ProgrammingAlpha