圏論メモlikers
- @pogin503
EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/
- へるめっと@Helmet
初心者とは言えないほどの時間が経過したにもかかわらず未だ初心者の者です。 よろしくお願いします。
- あいや@aiya000
Moggiと"love"で接近中! 🤟🙄🤟
- makoto-developer@makoto-developer
書き途中でもとりあえず投下するスタイル
- @trackiss
Scala!
- Kaiko@kaiko_math
HaskellとAgdaを学び始めた大学院生
- @okumurakengo
人が作ってくれたご飯食べるときに何も言わずに食べるのは、ちょっとダメらしいという話を聞いたことがあるので、「あ、うめ、あ、うめ」って言いながら食ってたら、すごい変な人と思われてしまってしまった/初心者です、あまりわかっていません