読んだ時のお気持ちはやっぱ残しとかないと、特に 1ML ぐらいの規模の意味論だと忘れちゃう。一回読んだはずなんだけど、combine の elaboration とか何してんのってなっちゃった

F-ing modules の記事書きたかったわけではなくて、1ML (F-ing first class modules) の記事が書きたかったのだが、あまりにも前提がアレだったので、まず F-ing modules の記事書いた。1ML の記事もそのうち出したいね

なるほど、そういう話はやっぱあるのか

このアカウントは、notestockで公開設定になっていません。