Follow

型付け規則をもとにして、項から制約の集合を生成する。制約解消した結果がその項の型。

· · Web · 0 · 0 · 1
Sign in to participate in the conversation
mstdn.jp

Mastodon日本鯖です. よろしくお願いいたします。 (Maintained by Sujitech, LLC)