--- source: tests/golden_tests.rs input_file: tests/golden_tests/run_file/queue.bend --- NumScott: λa λ* (a 1 λb λ* (b 2 λc λ* (c 3 Nil))) Scott: λa λ* (a 1 λb λ* (b 2 λc λ* (c 3 Nil)))