HoTT/book — pull request #319 by mikeshulman (2013-06-24 18:13:14+00:00)
Title: finite types and polymorphic functions

proposed fixes for #294 and #297.