Followees

  • Yuji YAMAMOTO@igrep

    HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。

  • 須原 浩道@suharahiromichi

    定理証明系や論理プログラミングに興味をもっています。

  • @lotz

    凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

  • あいや@aiya000

    Moggiと"love"で接近中! 🤟🙄🤟