Search results
Create the page "Sk" on this wiki! See also the search results found.
- (a4 + 1 / (k3 * sk * sk)) where sk = sin k25 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 Haske8 KB (1,381 words) - 05:18, 10 December 2020