Text this: Cellular Cohomology in Homotopy Type Theory