Follow

↓を書くのにinterface切って複数クラス定義することになって、あーもー!
type term
 = EVar of string
 | EApply of (term * term)
 | EAbs of (string * term)

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

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