Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 15 May 1995 13:49:34 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA129890769;
          Mon, 15 May 1995 06:26:09 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from emu.pmms.cam.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA129860766;
          Mon, 15 May 1995 06:26:07 -0600
Received: by emu.pmms.cam.ac.uk (UK-Smail 3.1.25.1/1); Mon, 15 May 95 13:24 BST
Message-Id: <m0sAzCP-0003V2C@emu.pmms.cam.ac.uk>
Date: Mon, 15 May 95 13:24 BST
From: Thomas Forster <T.Forster@pmms.cam.ac.uk>
To: chou@cs.ucla.edu, tfm@dcs.gla.ac.uk
Subject: Re: Sequences
Cc: info-hol@leopard.cs.byu.edu

Surely a finite-or-infinite list can be a function from an
initial substructure of :num to widgets.  Could perhaps be
done more cutely i suppose but aren't we meant to be engineers?
Won't that do?
      Thomas