STLC 、ｹﾝｷｭｯとかでちょっと言語や型システムを弄りたいというときベースにするのに向いている
どうにかして motivating examples を書ける程度には表現力があって、処理系の実装もしやすく、かつ拡張を突っ込みやすい
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。
