In the Ur manual, section 6.2, second sentence: "reduce" should be "reduced".
- a _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
In the Ur manual, section 6.2, second sentence: "reduce" should be "reduced".
- a _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur