diff lib/ur/listPair.urs @ 1973:155bd0bc4d28

Day of week functions.
author Patrick Hurst <phurst@mit.edu>
date Thu, 05 Dec 2013 11:36:54 -0500
parents 8297968cf7ef
children
line wrap: on
line diff