khibino

仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。 型検...

kayhide

Edward Kmett

Ramin Honary

Divam

Viktor Kronvall