Grothendieck Topos への入門likers
- ますかれーど おじさん@maskuarade
初心者です。
- @pogin503
EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/
- @yTech
こんにちは
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- Yasuhiro Inami@inamiy
iOS Developer
- xiangze@xiangze
https://github.com/xiangze
