chiark / gitweb /
New script to add up numbers on stdin.