« Previous | Next » 

Revision 2992f2f7

ID2992f2f7c60f066f273818755054206d02bd6d15
Parent e715a6d6
Child f3aebf6f

Added by Klaus Aehlig over 6 years ago

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 <>
Reviewed-by: Petr Pudlak <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences