Ladies and Gentlemen.... My name is PAUL HEYMAN!
|
ivbeen slacking
The "c-part" you're referring to may be related to variable capture. When performing substitution, you need to be careful not to inadvertently change the meaning of the expression by introducing variable capture. This occurs when you substitute a variable that is already bound by another lambda abstraction.
Mobbing on these (redacted)'s like I'm Lucky Luciani
*Enters Chat*
Well, this is a very long thread
where is Corey
« Previous Thread | Next Thread » |
Thread Information |
Users Browsing this ThreadThere are currently 15 users browsing this thread. (0 members and 15 guests) |