compileE#(prg) ==
  let env,rules = (x,y.(x y)) norm-esharp-program() prg in
    list_accum(x,erl.x + compileE#Rule(env;erl);TrivialCompResult;rules)



Definitions :  trivial-comp-result: TrivialCompResult compile-esharp-rule: compileE#Rule(env;erl) esharp-join: x + y list_accum: list_accum(x,a.f[x; a];y;l) norm-esharp-program: norm-esharp-program() apply: f a lambda: x.A[x] spread: spread def
FDL editor aliases :  compile-esharp-program

compileE\#(prg)  ==
    let  env,rules  =  (\mlambda{}x,y.(x  y))  norm-esharp-program()  prg  in
        list\_accum(x,erl.x  +  compileE\#Rule(env;erl);TrivialCompResult;rules)


Date html generated: 2010_08_30-AM-12_58_47
Last ObjectModification: 2010_08_24-PM-08_05_49

Home Index