Talk:Function type
Add topicLatest comment: 13 years ago by 99.153.64.179 in topic Missing definition
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
|
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)