[<<][staapl][>>][..]

Sat Jul 5 10:41:02 CEST 2008

automatic lifting

Some of the lifting operations can be automated: U and B can be
inferred from the arity of the operation. X and Y need to be
specified.

[Reply][About]

[<<][staapl][>>][..]