よんた さんが Facebook / GitHub で連携している友達一覧です。
athos
Scheme/Clojureが好きな人。株式会社テンクー所属。Clojure(Script)コントリビュータ。
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
...
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検...