2004-09-08から1日間の記事一覧
id:kkanda:20040905に書いた型なしラムダ式の実装が一通り完了。 現状では、 static void Example6(ParsingInfo info, LambdaContext ctx) { //ex6. λ.(1 0) λ.0: Γ={b,a} VariableTerm v1 = new VariableTerm(info, 1, 3); VariableTerm v2 = new VariableT…
id:kkanda:20040905に書いた型なしラムダ式の実装が一通り完了。 現状では、 static void Example6(ParsingInfo info, LambdaContext ctx) { //ex6. λ.(1 0) λ.0: Γ={b,a} VariableTerm v1 = new VariableTerm(info, 1, 3); VariableTerm v2 = new VariableT…