-
Mikaël Mayer authored
* FunctionInvocation now considers abstract parameters * Applications on lambdas are now handled * Pattern matching now considers abstract parameters
Mikaël Mayer authored* FunctionInvocation now considers abstract parameters * Applications on lambdas are now handled * Pattern matching now considers abstract parameters
