-
Robbert Krebbers authored
This class, in combination with `TCForall`, turns out the useful in LambdaRust to express that lists of expressions are values.
b2ed0162
This class, in combination with `TCForall`, turns out the useful in LambdaRust to express that lists of expressions are values.