Following Organizations
No Organizations you are following
Followers
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- Yuji YAMAMOTO@igrep
HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
