More than a dozen Elida elementary students are spending part of their summer exploring the world of dinosaurs through the district’s summer library program. The weekly camp combines reading, crafts and hands-on activities designed to keep children engaged and learning throughout June.