#色图 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

#色图 https://twitter.com/gyozanuko/status/1411318215083364353

#色图 https://twitter.com/chroo_x/status/1411530099392843781

#色图 https://twitter.com/bunny_1122/status/1411646373846421512

#色图 https://twitter.com/misuo69421/status/1411699376309768197

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

#色图 https://twitter.com/Green_Kohgen/status/1411344650879725568

#色图 https://twitter.com/Nemuriris/status/1411652190519713796