Multiplication on optimal λ-calculus reducers - View it on GitHub