@idris-maps/yyyy-mm-dd (npm): A date library dealing only with days in the YYYY-MM-DD format
Keywords: date|day|yyyy-mm-dd