_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Thanks for the code. I've added all 3 of your suggestions to the
standard library.
- [Ur] Some utility functions to add to base libs? Edward Z. Yang
- Re: [Ur] Some utility functions to add to base libs? Adam Chlipala
