さけるチーズを避けるチーズによるラムダ計算・Lazy K入門

純粋関数型言語「さけるチーズ」とは、難解プログラミング言語「Lazy K」の文法に束縛変数を導入することでラムダ計算風にし、自然言語的に意味が通るように文法を直した言語です: woodrush.hatenablog.comこの記事では、「さけるチーズ」を用いてチャーチエンコーディングによる自然数やリストの表現について説…