Cool! "two dozen mathematicians who wrote a 600 page book in less than
half a year"
http://homotopytypetheory.org/book/
.. and its on GitHub!Interesting blog post on the process: http://math.andrej.com/2013/06/20/the-hott-book/ -- Owen
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
