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