next up previous contents
Next: 3.1.5 unlambda Up: 3.1 The extron transformers Previous: 3.1.3 unmacro

3.1.4 unor

 

unor transforms inline disjunctions into corresponding, argument-less lambda applications, which are removed by unlambda using separate clauses (see section 3.1.5).

tabular2863



Harold Boley (boley@informatik.uni-kl.de)