Bend/tests/golden_tests/compile_file_o_all/tagged_sup.bend
2024-05-15 00:25:46 +02:00

6 lines
79 B
Plaintext

a = #i {λx x λx x}
b = #i {λx x λx x}
c = #j {λx x λx x}
main = (a b c)