reduce.h

   1 #ifndef REDUCE_H
   2 #define REDUCE_H
   3
   4 #include "lambda.h"
   5
   6 bool lambda_reduce(struct lambda **t, struct lambda **total, bool applicative);
   7 #endif