You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 17, 2023. It is now read-only.
概要
構文木を1ステップ簡約し、変数を値に変換する。
四則演算を組み込み関数とし、計算ができるようにする。
目的
そもそもプロジェクトの目的に関わる。
背景
同上
要求事項
interp-types
ができている想定される問題
実装手順
nラムダ計算を書く
他の手段
関連リンク
The text was updated successfully, but these errors were encountered: