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

VBA, C#, Java, Scala, Kotlinを勉強しています。

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

A Haskell, Maxima lover, PhD in physics. About to leave qiita, perhaps.

HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。

https://twitter.com/negi__