「object equality, composition」（Z13053）的版本歷史

2024 nièng 4 nguŏk 14 hô̤ (Lā̤-bái)

• dāngsèng 18:152024 nièng 4 nguŏk 14 hô̤ (LB) 18:15‎ GrounderUK tō̤-lâung góng-hióng‎ 1,465 cê-ciék +317‎ added type equality
• dāngsèng 15:542024 nièng 4 nguŏk 14 hô̤ (LB) 15:54‎ GrounderUK tō̤-lâung góng-hióng‎ 1,148 cê-ciék −46‎ try cheating

2024 nièng 3 nguŏk 22 hô̤ (Bái-ngô)

• dāngsèng 00:062024 nièng 3 nguŏk 22 hô̤ (B5) 00:06‎ 99of9 tō̤-lâung góng-hióng‎ 1,194 cê-ciék −520‎ try simplifying

2024 nièng 2 nguŏk 16 hô̤ (Bái-ngô)

• dāngsèng 00:592024 nièng 2 nguŏk 16 hô̤ (B5) 00:59‎ 99of9 tō̤-lâung góng-hióng‎ 1,714 cê-ciék +432‎ 無編輯摘要

2024 nièng 2 nguŏk 6 hô̤ (Bái-nê)

• dāngsèng 01:202024 nièng 2 nguŏk 6 hô̤ (B2) 01:20‎ 99of9 tō̤-lâung góng-hióng‎ 1,282 cê-ciék +1,282‎ 無編輯摘要