Unlambda は SKI コンビネータだけと言いつつそれなりになんか他のプリミティブがある言語
Lazy-K は本当に SKI コンビネータだけの言語。入力は関数の引数として与えられて関数の返り値が出力される
Grass は lambda 計算だけの言語。