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

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

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

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

Moggiと"love"で接近中! 🤟🙄🤟

bash vim System Verilog HLS C C++ haskell etc ...

趣味でやってる学生