... K and S that have the reduction rules (Kx) y → x and ((Sx) y) z → (x z) (y z): data SK = S | K | Ap (SK, SK) run K = K run S = S run (Ap (K, ...
確定! 回上一頁