Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
explain how all terms of that language can be optimally reduced with the Abstract Algorithm, and how all intermediate steps of that reduction correspond to a SIC term. Finally, I’ll hint a direct isomorphism between the SIC and Symmetric Interaction Combinators, rendering the former as a mere