こんにちは

NA

HaskellとAgdaを学び始めた大学院生

京都在住のHaskellerです。

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

おじさんエンジニアです。 周りに Haskell 使いがいません。

I like Haskell

きーた

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

I love reading open source codes & papers in arXiv. My interests: #QuantumComputing #Haskell #量子情報. I'm @#OpenQL 未踏tg '18-'20.