Revision 2992f2f7
| ID | 2992f2f7c60f066f273818755054206d02bd6d15 |
| Parent | e715a6d6 |
| Child | f3aebf6f |
Fix generic uncurrying
in the case of n>1, the n-ary uncurry function is of the form
\f (x_1, ..., x_n) -> ... rather than \f x_1 ... x_n -> ...
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted