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 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
