Excerpts from Adam Chlipala's message of Thu Nov 21 19:49:37 +0100 2013: > [..] since I've tried to design them to > provide exactly the pieces programmers will look for [..] We should talk about this again when Marcelo has finished working through the official tutorial. :) Marc Weber