map_list is not inc_list
It's not important, but "inc_list" should probably be changed to "map_list" at https://gitlab.mpi-sws.org/iris/tutorial-popl18/blob/master/exercises/ex_02_sumlist.v#L41 and L48, and same thing for the solution file.
It's not important, but "inc_list" should probably be changed to "map_list" at https://gitlab.mpi-sws.org/iris/tutorial-popl18/blob/master/exercises/ex_02_sumlist.v#L41 and L48, and same thing for the solution file.