Have I forgotten any last changes that are appropriate to make first?
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
I'd like to make a last official Ur/Web release for 2013, including a
variety of bug fixes, plus optimizations motivated by the TechEmpower
benchmarks.
