---

esharplambda(var;body) ==  inr inr inr inr (inl <var, body> )    

---

Definitions occuring in Statement :  pair: <a, b>,  inr: inr x ,  inl: inl x 
Definitions :  inr: inr x ,  inl: inl x ,  pair: <a, b>
FDL editor aliases :  esharplambda

---

esharplambda(var;body)  ==    inr  inr  inr  inr  (inl  <var,  body>  )       


Date html generated: 2011_08_17-PM-05_13_30
Last ObjectModification: 2011_02_03-PM-04_31_42

Home Index