Re: Daniel Jackson on types in Alloy


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