Thanks. If I get the time I'll take a crack at it.
On Wed, Nov 24, 2010 at 5:44 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
I would like to add alpha to `color%', but I haven't gotten around to it.
For list-related administrative tasks:
(followups trimmed to dev; is that an acceptable strategy?)
On Nov 24, 2010, at 12:44 PM, Robby Findler wrote:
On Wed, Nov 24, 2010 at 1:49 PM, John Clements
On Wed, Nov 24, 2010 at 11:05 AM, Robby Findler
On Wed, Nov 24,
A[e_1 e_2] = A[e_1] meta A[e_2]
compositional? How about
A[e_1 e_2]env = A[e_1]env meta A[e_2]env
A[e_1 e_2]env k = A[e_1]env (\x_1. A[e_2]env (\x_2. k (x_1 meta x_2)))
A[e_1 e_2]env k s = A[e_1]env (\x_1s_1. A[e_2]env (\x_2 s_2. k (x_1 meta
x_2) s_?) s_1
I've fixed a bug that might have caused this error.
If it's (still) repeatable, though, instructions to trigger the error
would be much appreciated.
At Wed, 17 Nov 2010 16:49:34 -0500, Matthias Felleisen wrote:
Mail list logo