Talk:Function type

Missing definition
This article is completely missing a definition of what a function type actually is! Someone should copy content over from the ncatlab page and/or from the HoTT book to here. (Note the HoTT book appears to be in a git repo!) 99.153.64.179 (talk) 18:28, 26 June 2013 (UTC)