fix example in ports.txt
Haldean Brown
4 years ago
87 | 87 | For example, here's a program that takes every line on standard in, |
88 | 88 | concatenates it to itself, and then prints it on standard out: |
89 | 89 | |
90 | : double-line ^ String -> String = concat | |
90 | : double-line ^ String -> String = \a -> concat a a | |
91 | 91 | >> io:stdin | double-line > io:stdout |
92 | 92 | |
93 | 93 | Reduce . -------------------------------------------------------------- |