Cochon: fixed empty lambda bug The implementation of the lambda tactic was assuming that the user would not be a senile old git like me and forget to give names. Now it fails harmlessly.
Cochon: fixed empty lambda bug
The implementation of the lambda tactic was assuming that the user would not
be a senile old git like me and forget to give names. Now it fails harmlessly.


larrytheliquid/pigit,mietek/epigram2,mietek/epigram2