Create the page "Sk" on this wiki! See also the search results found.
(a4 + 1 / (k3 * sk * sk))
where sk = sin k
25 KB (3,868 words) - 19:39, 3 February 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 Haske
8 KB (1,381 words) - 05:18, 10 December 2020