It's happened again! You've encountered some code that completely mystifies you or are blocked by a seemingly cryptic error. Google isn't turning up anything useful and no one is available to help you out. It's going to be a rough day...
Or not. Join me on a tour of formal reasoning as we look at solving a series of concrete problems in Elm. Our mission goes beyond merely getting code to compile to actually understanding the situation and why a particular solution works. Along the way, you'll gain some new insights into the language in addition to some problem solving tools you can apply to more than just Elm.
...you pour yourself a fresh cup of coffee, adjust your keyboard and take a second look at the code. Slowly, you start making connections. You test out some ideas and, Eureka! you've just made a breakthrough in understanding this particular concept. It's going to be a good day after all.