Conversation

Notices

1. まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Tuesday, 26-Jan-2021 12:29:53 JST まちカドおるみん御嬢様

   停止って証明できるもんなん

   • Masanori Ogino 𓀁 (omasanori@mstdn.maud.io)'s status on Tuesday, 26-Jan-2021 12:34:39 JST Masanori Ogino 𓀁

     in reply to

     @orumin 再帰にある種の制約があれば（Coqとかのそれ）

   • まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Tuesday, 26-Jan-2021 12:34:55 JST まちカドおるみん御嬢様

     in reply to

     • Masanori Ogino 𓀁

     @omasanori なるほど