Talk:Function type

Latest comment: 11 years ago by 99.153.64.179 in topic Missing definition

Missing definition

edit

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)Reply