方程式を導出してそれを解くということをしただけ。 サポートする構文、組み込み関数 構文 ifとfunとlambda(1つ以上の引数関数の糖衣構文として) (if bool a a) (fun x body) (lambda (x1 x2 ... ) body) 組み込み関数 succ + zero? の3つだけ。 例 関数適用…

ecleanを使う。 標準では入っていないので、gentoolkitを入れる必要がある。 dオプションをつけると、現在のバージョン以外が消える。(man曰く、only keep the minimum for a reinstallation) 日付やサイズ等のオプションもつけられるが、再ダウンロードすれ…