Search results

Jump to: navigation, search
  • (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