[Ur] Some utility functions to add to base libs?
Adam Chlipala
adamc at impredicative.com
Sat May 19 11:33:08 EDT 2012
Previous message:
[Ur] Some utility functions to add to base libs?
Next message:
[Ur] Catching errors
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Thanks for the code. I've added all 3 of your suggestions to the standard library.
Previous message:
[Ur] Some utility functions to add to base libs?
Next message:
[Ur] Catching errors
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Ur mailing list