haskell-jp / mokumoku-online #78 at 2025-08-31 17:56:28 +0900

こちらのもくもく会ですが、Haskell 以外に PureScript や Lean などの純粋関数型言語の作業を進めても大丈夫でしょうか？

まあ検証のしようがないのでなんとも言えませんが、ルール上は「なし」です。あまり大っぴらにやられると困ります。PureScript本体のコードをいじるとかならともかく。

承知しました！