Subject: Re: Daniel Jackson on types in Alloy
From: Matthias Felleisen (matthias@ccs.neu.edu)
Date: Mon Feb 25 2002 - 10:21:51 EST
You means as in
(apply + (produce-numbers-from-two-matrices mat1 mat2))
or
(1 . + . (apply + (produce-numbers-from-two-matrices mat1 mat2)))
instead of
(apply + 1 (produce-numbers-from-two-matrices mat1 mat2))
-- Matthias
This archive was generated by hypermail 2b28 : Mon Feb 25 2002 - 10:21:53 EST