Avatar
omochimetaru 3/23/2017 3:48 AM
  • T! -> T or T! -> T? のルールと
  • T -> T? のルールは、多段では通らないんかな
3:49 AM
T! から仮定された T は T? にさらに暗黙キャストされないって規則もあれば筋が通りそう。