#色图 https://twitter.com/sikitani_asuka/status/1409809113186512900

#色图 https://twitter.com/kiyotan_1107/status/1409437909912981507

#色图 https://twitter.com/EODAYO/status/1408422195873816577

#色图 https://twitter.com/li_hongbo/status/1410166079322689537

#色图 https://twitter.com/natunadonut/status/1408039261933248518

#色图 https://twitter.com/usagi_takumichi/status/1406204739784560642

#色图 https://twitter.com/yaku_joan/status/1403842548041404418

#色图 https://twitter.com/EODAYO/status/1410570935061544971

#色图 https://twitter.com/nanananaaannaa/status/1410852049151877120

#色图 https://twitter.com/yuuhagi/status/1410916231406776321

#纸 True Sums of Products

#色图 https://twitter.com/sirotuki_ito/status/1410893549193756675

#纸 A Quick Look at Impredicativity

#纸 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine

#色图 https://twitter.com/rubidiumo/status/1410913137893670918

#色图 https://twitter.com/Ixy/status/1411186605058977793

#色图 https://twitter.com/natunadonut/status/1411318757385900032

#色图 https://twitter.com/laevateinn495/status/1411293722038259719

#色图 https://twitter.com/nibiiro_SZK000/status/1411306009713201157

#色图 https://twitter.com/Takashimayatu/status/1411339424529403914

#色图 https://twitter.com/Takashimayatu/status/1411495516504936452