Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

Bartosz Milewski (bartoszmilewski@mathstodon.xyz)'s status on Sunday, 22-May-2022 07:30:19 JST Bartosz Milewski

I finished the chapter on enriched categories. I think I might be done with the book. What now?!https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf

In conversation Sunday, 22-May-2022 07:30:19 JST from mathstodon.xyz permalink
- バツ子（痛いの痛いの飛んでけ;; likes this.
- バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Sunday, 22-May-2022 07:31:46 JST バツ子（痛いの痛いの飛んでけ;;
  in reply to
  
  @BartoszMilewski oh my gosh, been waiting for >_<
  
  In conversation Sunday, 22-May-2022 07:31:46 JST permalink

Feeds