Dear all, While teaching a course Why3, my students stumbled upon the fact that a let lemma can have a return type other than unit.
This was not the case in older versions of Why3 (at least, pre 1.0) Is this an intentional change/feature? Best regards, Marc Schoolderman -- m.schoolder...@cs.ru.nl _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
