Personal Information
Entreprise/Lieu de travail
Hiroshima-shi, Hiroshima, Japan Japan
Profession
Internship
À propos
C++とHaskellが大好きなアマチュアプログラマ。VCは敵かもしれないのでGCCと共同戦線を張る日々。
Mots-clés
db haskell persistent
能年玲奈
型 証明 proof
型 証明 proof coq
c++
monad haskell
coq
c++ template pimpl
c c++ tmp haskell brainfuck
c++ template tmp
Tout plus