最近の検索
検索オプション
複数パラメータの脱糖はできたけど、 pretty printer が脱糖前の省略記法を使うべきかそうでないかという問題が出てきた
たとえば S コンビネータを
λx. λy. λz. x z (y z)
と
λx y z. x z (y z)
のどちらで表示すべきか
複数パラメータの脱糖はできたけど、 pretty printer が脱糖前の省略記法を使うべきかそうでないかという問題が出てきた
たとえば S コンビネータを
λx. λy. λz. x z (y z)
と
λx y z. x z (y z)
のどちらで表示すべきか