ヒゲ生やしたハゲのおっさんです。 少し泳ぎます。 swimmer Haskell Agda Scheme Category Theory
ヘイヘイHaskell騎士団
estie
Opt Technologies/オプトテクノロジーズ
coqtokyo
Proof Summit
Haskell-jp
Haskellもくもく会
発表イベントはありません。