-
Notifications
You must be signed in to change notification settings - Fork 1
Lambda functions #7
Copy link
Copy link
Open
Description
The difference between fun and lambda would be that lambda always creates a new function type and that the return type is always assumed to be the type of the compiled body. (If you want to create multiple lambdas of the same type, you should just call fun and use the result as your lambda.)
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels