On 13/08/2015, at 5:48 am, Joe Armstrong <erlang@REDACTED> wrote: > PS. Don't set Mike off - he'll go on and on about paper-tapes .... > he thought > starting with punched cards was incredibly luxurious Not if you had to use a hand punch it wasn't!