In a message dated 9/19/2002 1:04:49 PM Central Daylight Time, jjllambias@hotmail.com writes: << One way it can be done is with subscripts: >> As I said, it can be done, but it is not tidy the way that {da, de, di} is (though, of course, these have to go to subscripts eventually as well) -- nor nearly as clear, either to the eye or the understanding. I'm not sure what the ideal solution would be (I personally like taking {ce'u} as lambda and using the regular variables) or even a practical one, but if we are going to do much more of this lambdaing, we need somthing, just to make usuable example.
To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service. |