[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]



Why don't we introduce LETF which is a LET with the semantics you have
suggested. The parallel between SET/LET and SETF/LETF would be quite pleasant.