Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
allows Absal to always output the correct reduction of a SIC input. Not only that, but every intermediate steps of the interaction net reduction correspond to a single textual term. That calculus is also quite powerful, being Turing-complete. That’s because it is directly isomorphic to Symmetric