We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
The solution seems to be missing some corner cases where eta-reduction could be applied. For example, test ouput02.txt, line 65, characters 71-75, we have : (BII). It seems to me that it would only happen if we tried to eliminate abstractions from the term (\x. (\y. y) x) where we missed the eta-reduction. My previous solution had (I) instead of (BII), which is equivalent and is what we would expect the elimination to be on the given term. I admit that I don't fully understand why this is happening.
Down With Abstractions
You are viewing a single comment's thread. Return to all comments →
The solution seems to be missing some corner cases where eta-reduction could be applied. For example, test ouput02.txt, line 65, characters 71-75, we have : (BII). It seems to me that it would only happen if we tried to eliminate abstractions from the term (\x. (\y. y) x) where we missed the eta-reduction. My previous solution had (I) instead of (BII), which is equivalent and is what we would expect the elimination to be on the given term. I admit that I don't fully understand why this is happening.