PoPL/04_semantics_and_running/examples/long-arith.ph

1 line
43 B
Plaintext
Raw Permalink Normal View History

print 1 + 2 - 3 + 5 - 7 + 11 - 13 + 17 - 19