1 2 3 4 5 6
--- source: tests/run.rs expression: rust_output input_file: tests/programs/list.hvm --- Result: ((@List/Cons/tag (((@List/Cons/tag (1 (((@List/Cons/tag (* (((@List/Cons/tag (* (@List/Nil x0))) x0) x1))) x1) x2))) x2) (@List/Nil x3))) x3)