Important

未踏事業にエントリーしました。 採択されるように提案頑張ります！

ビジョン「ラムダ計算の一般化」

• 学術的要素の強いラムダ計算を、人々の身近な存在にする
• 美しいコードが書ける自由度と表現力の高い言語にする