EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

初心者とは言えないほどの時間が経過したにもかかわらず未だ初心者の者です。 よろしくお願いします。

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

書き途中でもとりあえず投下するスタイル

Scala！

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

人が作ってくれたご飯食べるときに何も言わずに食べるのは、ちょっとダメらしいという話を聞いたことがあるので、「あ、うめ、あ、うめ」って言いながら食ってたら、すごい変な人と思われてしまってしまった／初心者です、あまりわかっていません