# Search results

**Create the page "Sk" on this wiki!** See also the search results found.

## Page title matches

- My strategy will be to embed the SK combinator calculus. The SK combinator to be Turing-complete. Furthermore, the SK calculus is simpler to implement10 KB (1,653 words) - 00:25, 12 July 2021

## Page text matches

- (a4 + 1 / (k3 * sk * sk)) where sk = sin k25 KB (3,867 words) - 22:59, 24 July 2021
- It's possible to embed the Turing-complete [[Type_SK|SK combinator calculus]] at the type level.8 KB (1,365 words) - 19:23, 15 August 2019
- ...you how this could be useful, we will implement an evaluator for the typed SK calculus. Note that the K combinator is operationally similar to Since the types of the so-called object language, being the typed SK calculus, are mimicked by the type system in our meta language, being Haske8 KB (1,381 words) - 22:41, 12 June 2021
- My strategy will be to embed the SK combinator calculus. The SK combinator to be Turing-complete. Furthermore, the SK calculus is simpler to implement10 KB (1,653 words) - 00:25, 12 July 2021