[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
- To: (BUG LISP) at MIT-ML
- Subject:
- From: BYRON@MIT-ML
- Date: Sun, 13 Aug 79 20:11:32 GMT
- Cc: BYRON at MIT-ML ((u v w) (foo a b c) (flonum notype fixnum))) <compute>)
- Original-date: 08/13/79 16:11:32 EDT
would bind x with initial value (plus a b) and type flonum, and
would bind u, v, and w to the car, cadr, and caddr of (foo a b c)
and declare them to have the types indicated.