ychr-0.1.0.0: test/golden/lambda_curried_adder/twice_then_add.goal

lambda_curried_adder:t(twice_then_add, R)