Closed lucaslugao closed 4 years ago
In the original text it is said that the Q function has input (a,b) and output (S(a),b) which is not true since the function always discards the second element of the tuple. The correct output would be (S(a),a) instead.
Thanks! I made the corrections in the source Markdown files and properly credited you. I’m closing this PR.
In the original text it is said that the Q function has input (a,b) and output (S(a),b) which is not true since the function always discards the second element of the tuple. The correct output would be (S(a),a) instead.