冒頭からHindley–Milnerとか飛び出してくる硬派なSMLの講義があったら界隈の人々はうらやましがるけれど通っている学生のいくらかは渋い顔しそう
@omasanori s/いくらか/ほとんど/
@uwabami 120% sure
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
