Function type: Revision history

Article
Talk

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 17:5217:52, 30 January 2023 Citation bot talk contribs 7,299 bytes +20 Add: isbn. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 88/111 undo

curprev 23:4823:48, 8 September 2021 188.191.167.26 talk 7,279 bytes +6 Updated Swift type signature since now single argument functions require parenthesis undo Tag: Visual edit

curprev 21:2621:26, 18 October 2020 Galzigler talk contribs m 7,273 bytes +4 →Programming languages undo

curprev 02:5202:52, 3 August 2020 181.160.169.122 talk 7,269 bytes +27 Added "mathematical logic" undo Tags: Visual edit Mobile edit Mobile web edit

curprev 04:4804:48, 11 June 2020 InternetArchiveBot talk contribs 7,242 bytes +155 Bluelink 1 book for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

curprev 17:5317:53, 28 February 2020 Watarok talk contribs m 7,087 bytes +218 →Programming languages: Add example in Rust undo

curprev 17:1417:14, 8 September 2019 Jarble talk contribs 6,869 bytes −4 This is already linked in the lead section. undo
curprev 17:1317:13, 8 September 2019 Jarble talk contribs m 6,873 bytes +43 linking undo

curprev 03:5803:58, 26 December 2018 T0mpr1c3 talk contribs 6,830 bytes −32 →Programming languages: C does not have first class functions undo

curprev 03:1903:19, 19 December 2018 Michael Hardy talk contribs 6,862 bytes −4 →References undo

curprev 06:4206:42, 22 July 2017 67.198.37.16 talk 6,866 bytes +74 The class of maps or functions is called the exponential object. undo
curprev 06:3806:38, 22 July 2017 67.198.37.16 talk 6,792 bytes +185 currying makes the function type adjoint to the product type. undo

curprev 06:2706:27, 11 February 2017 Tea2min talk contribs 6,607 bytes 0 Undid revision 764750191 by WereSpielChequers (talk): Not a typo undo

curprev 18:4018:40, 10 February 2017 WereSpielChequers talk contribs m 6,607 bytes 0 →top: Typo fixing, replaced: on there → on their using AWB undo

curprev 01:4701:47, 12 June 2016 Jerryobject talk contribs 6,607 bytes −155 Template:Math adds. Small WP:EoS WP:COPYEDITs. WP:LINKs: adds, updates, fix-cut WP:NOPIPEs. HTML long strings > correct symbols. Nonlead-word nonproper noun MOS:CAPS > low-case. 1st MOS:PERSON we fix-cuts. undo

curprev 02:0802:08, 3 December 2015 Cedar101 talk contribs m 6,762 bytes +26 →Programming languages: {{code}} undo

curprev 21:0621:06, 12 February 2015 Ruud Koot talk contribs 6,736 bytes −38 Undid revision 646800084 by 73.163.137.60 (talk) undo
curprev 14:3014:30, 12 February 2015 73.163.137.60 talk 6,774 bytes +38 →Denotational semantics: m link for "parellel or" undo

curprev 06:1406:14, 14 September 2014 Bgwhite talk contribs 6,736 bytes −83 Do general fixes and cleanup. - using AWB (10459) undo

curprev 00:1200:12, 13 September 2014 93.6.88.12 talk 6,819 bytes +316 →Programming languages: C++11 undo

curprev 01:3801:38, 9 September 2014 50.193.52.113 talk 6,503 bytes −76 →Programming languages undo

curprev 17:4317:43, 5 June 2014 173.252.71.3 talk 6,579 bytes +6 Update link to Swift undo
curprev 12:2812:28, 5 June 2014 Ruud Koot talk contribs 6,573 bytes +158 →Programming languages: reorder undo
curprev 07:2207:22, 5 June 2014 Spoon! talk contribs m 6,415 bytes 0 →Programming languages undo
curprev 07:2207:22, 5 June 2014 Spoon! talk contribs 6,415 bytes +227 →Programming languages: added swift undo

curprev 11:3611:36, 5 May 2014 Yobot talk contribs m 6,188 bytes −24 WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 08:3208:32, 1 March 2014 Salix alba talk contribs m 6,212 bytes 0 fix tags, replaced: <sup>''A''</sub> → <sup>''A''</sup> (2) using AWB undo

curprev 02:5602:56, 9 November 2013 50.0.191.195 talk 6,212 bytes +22 No edit summary undo

curprev 15:5915:59, 7 November 2013 Ruud Koot talk contribs m 6,190 bytes 0 Changed visibility of the article feedback tool on "Function type" ([Visibility=Enable for all users] (indefinite)) undo

curprev 22:1022:10, 1 September 2013 Vegaswikian talk contribs 6,190 bytes −5 Unlinked: Boolean undo

curprev 08:4808:48, 21 July 2013 FrescoBot talk contribs m 6,195 bytes 0 Bot: link syntax/spacing undo

curprev 05:1905:19, 16 July 2013 Minna Sora no Shita talk contribs m 6,195 bytes −26 Reverted edits by 119.92.194.33 (talk) to last revision by Tek022 (HG) undo
curprev 05:1805:18, 16 July 2013 119.92.194.33 talk 6,221 bytes +26 →Denotational semantics undo

curprev 07:4107:41, 11 July 2013 Tek022 talk contribs m 6,195 bytes +1,533 Reverted edits by 119.92.194.33 (talk) to last revision by 99.153.64.179 (HG) undo
curprev 07:4007:40, 11 July 2013 119.92.194.33 talk 4,662 bytes −1,533 →Denotational semantics undo

curprev 18:3418:34, 26 June 2013 99.153.64.179 talk 6,195 bytes +15 kill red link undo
curprev 18:2418:24, 26 June 2013 99.153.64.179 talk 6,180 bytes +521 mention dependent product type undo

curprev 19:0419:04, 20 February 2013 Funandtrvl talk contribs 5,659 bytes +16 →References: nvbx undo

curprev 02:0102:01, 15 June 2012 Spoon! talk contribs 5,643 bytes +249 →Programming languages undo
curprev 01:2401:24, 15 June 2012 Spoon! talk contribs 5,394 bytes +236 →Programming languages undo
curprev 01:1801:18, 15 June 2012 Spoon! talk contribs 5,158 bytes +393 →Programming languages undo

curprev 11:5111:51, 11 September 2011 Wikitester2501 talk contribs 4,765 bytes +65 →Programming languages undo

curprev 09:5609:56, 30 May 2011 189.34.13.26 talk 4,700 bytes −15 romoved repeated words, probably due to copy and paste undo

curprev 17:2017:20, 8 May 2011 Ruud Koot talk contribs 4,715 bytes +20 arrow type undo

curprev 20:0320:03, 6 May 2011 Ruud Koot talk contribs m 4,695 bytes 0 →Denotational semantics: typo undo

Retrieved from "https://en.wikipedia.org/wiki/Function_type"