next up previous contents
Next: 3.1.7 uncomma Up: 3.1 The extron transformers Previous: 3.1.5 unlambda

3.1.6 hitrans

 

hitrans reduces higher-order expressions to apply calls. Furthermore, structures in functor positions are flattened.

tabular2910



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