Product type: Revision history

12 November 2023

• curprev 13:1313:13, 12 November 2023‎ 2a02:1812:110c:dc00:74df:ba46:c9cd:45e4 talk‎ 3,746 bytes +24‎ No edit summary undo

17 August 2023

• curprev 22:0422:04, 17 August 2023‎ 98.97.35.11 talk‎ 3,722 bytes +70‎ →‎See also: Add links to records and structs undo Tag: Visual edit

29 May 2021

• curprev 15:0315:03, 29 May 2021‎ 170.199.25.231 talk‎ 3,652 bytes −6‎ direct link & spaces undo

30 April 2021

• curprev 20:0320:03, 30 April 2021‎ Beland talk contribs‎ m 3,658 bytes −5‎ convert special characters (via WP:JWB) undo

13 February 2021

• curprev 16:4416:44, 13 February 2021‎ Quondum talk contribs‎ 3,663 bytes −824‎ →‎Example: rm example: this is at best confusing to the reader, at worst a complete misunderstanding by the writer in relation to the meaning of "product type" undo
• curprev 16:2816:28, 13 February 2021‎ Quondum talk contribs‎ 4,487 bytes −11‎ →‎Example: rm spaces in SI unit undo
• curprev 16:2716:27, 13 February 2021‎ Quondum talk contribs‎ m 4,498 bytes −4‎ →‎top: rm excess spaces undo

4 November 2020

• curprev 17:4517:45, 4 November 2020‎ Hellacioussatyr talk contribs‎ 4,502 bytes +14‎ →‎Example: Fixed wrapping spaces undo Tags: Mobile edit Mobile web edit Advanced mobile edit

18 October 2020

• curprev 20:1720:17, 18 October 2020‎ 2600:1700:1181:ef60:a9b2:8032:bd0c:31d2 talk‎ 4,488 bytes +3‎ Fixed typo undo

12 October 2020

• curprev 11:1411:14, 12 October 2020‎ AnomieBOT talk contribs‎ m 4,485 bytes +18‎ Dating maintenance tags: {{No footnotes}} undo
• curprev 10:5310:53, 12 October 2020‎ Lithopsian talk contribs‎ 4,467 bytes +17‎ needs inline references undo

7 January 2019

• curprev 12:2512:25, 7 January 2019‎ Tea2min talk contribs‎ m 4,450 bytes +2‎ →‎top: Skip redirect from Curry-Howard correspondence to Curry–Howard correspondence (hyphen-minus vs. en dash). undo
• curprev 12:1412:14, 7 January 2019‎ Tea2min talk contribs‎ 4,448 bytes +32‎ →‎See also: +Product (category theory) undo

12 January 2016

• curprev 19:0219:02, 12 January 2016‎ 67.198.37.16 talk‎ 4,416 bytes +1‎ →‎Example: typo undo
• curprev 19:0219:02, 12 January 2016‎ 67.198.37.16 talk‎ 4,415 bytes +79‎ →‎Example: it has a name, its called an algebra over a field undo
• curprev 18:5918:59, 12 January 2016‎ 67.198.37.16 talk‎ 4,336 bytes +10‎ →‎Example: whoops, misleading wording undo
• curprev 18:5718:57, 12 January 2016‎ 67.198.37.16 talk‎ 4,326 bytes +135‎ →‎Outside of computing: Rework mis-labelled secttion undo
• curprev 18:4518:45, 12 January 2016‎ 67.198.37.16 talk‎ 4,191 bytes +49‎ →‎References: See also Quotient type Sum type undo

8 March 2015

• curprev 17:3417:34, 8 March 2015‎ QuentinUK talk contribs‎ m 4,142 bytes +4‎ link undo

26 November 2014

• curprev 23:2923:29, 26 November 2014‎ Wing gundam talk contribs‎ 4,138 bytes +252‎ break out SI reference into subsection, add explanation for similarity between vector space and product type undo

16 September 2014

• curprev 16:0516:05, 16 September 2014‎ Rory O'Kane talk contribs‎ 3,886 bytes +64‎ say that product types are the dual of sum types undo

12 September 2013

• curprev 09:1309:13, 12 September 2013‎ John of Reading talk contribs‎ 3,822 bytes −28‎ Typo/general fixing, replaced: the the → the, removed stub tag using AWB undo

25 July 2013

• curprev 18:3318:33, 25 July 2013‎ FrescoBot talk contribs‎ m 3,850 bytes −4‎ Bot: link syntax/spacing and minor changes undo

26 June 2013

• curprev 18:1118:11, 26 June 2013‎ 99.153.64.179 talk‎ 3,854 bytes +22‎ →‎References: add precise ref undo
• curprev 18:1018:10, 26 June 2013‎ 99.153.64.179 talk‎ 3,832 bytes +4‎ uniform word choices undo
• curprev 18:0918:09, 26 June 2013‎ 99.153.64.179 talk‎ 3,828 bytes 0‎ try again with wikilink undo
• curprev 18:0818:08, 26 June 2013‎ 99.153.64.179 talk‎ 3,828 bytes +170‎ special case of dependent pair type undo
• curprev 17:5717:57, 26 June 2013‎ 99.153.64.179 talk‎ 3,658 bytes +215‎ add two references undo

1 June 2013

• curprev 12:2612:26, 1 June 2013‎ Matthiaspaul talk contribs‎ 3,443 bytes 0‎ Use link to singular, thereby also changed some pipes to use plural-affix-syntax undo

8 February 2013

• curprev 06:5006:50, 8 February 2013‎ Rocketrod1960 talk contribs‎ m 3,443 bytes −667‎ Reverted edit(s) by 119.161.93.18 identified as test/vandalism using STiki undo
• curprev 00:5700:57, 8 February 2013‎ 119.161.93.18 talk‎ 4,110 bytes +667‎ No edit summary undo Tag: nonsense characters

29 September 2011

• curprev 07:3607:36, 29 September 2011‎ Cpiral talk contribs‎ 3,443 bytes +737‎ remove 'which behaves, with respect to the evaluation mechanism,' Use 'instance' to counter the overexpression of 'expression' undo

15 April 2011

• curprev 12:1812:18, 15 April 2011‎ Ruud Koot talk contribs‎ 2,706 bytes +20‎ pair type undo

25 November 2010

• curprev 01:0201:02, 25 November 2010‎ SmackBot talk contribs‎ m 2,686 bytes +33‎ Date maintenance tags and general fixes: build 570: undo

23 November 2010

• curprev 02:5402:54, 23 November 2010‎ Thecheesykid talk contribs‎ 2,653 bytes +33‎ No edit summary undo

3 April 2010

• curprev 14:2514:25, 3 April 2010‎ Classicalecon talk contribs‎ 2,620 bytes +59‎ same as tuple type undo

19 August 2009

• curprev 18:3018:30, 19 August 2009‎ Pcap talk contribs‎ 2,561 bytes +22‎ {{type-theory-stub}} undo

18 August 2009

• curprev 03:2203:22, 18 August 2009‎ Pcap talk contribs‎ 2,539 bytes +24‎ Undid revision 308603690 by Pohta ce-am pohtit (talk) undo
• curprev 02:4402:44, 18 August 2009‎ Pcap talk contribs‎ m 2,515 bytes −24‎ Removed category Data types (using HotCat) undo
• curprev 02:4302:43, 18 August 2009‎ Pcap talk contribs‎ m 2,539 bytes +34‎ Quick-adding category Composite data types (using HotCat) undo
• curprev 02:2602:26, 18 August 2009‎ Pcap talk contribs‎ 2,505 bytes +50‎ tuples undo
• curprev 01:5401:54, 18 August 2009‎ Pcap talk contribs‎ m 2,455 bytes +16‎ {{data types}} undo

14 May 2009

• curprev 17:0217:02, 14 May 2009‎ Classicalecon talk contribs‎ 2,439 bytes +296‎ No edit summary undo

2 November 2008

• curprev 00:0300:03, 2 November 2008‎ Antonielly talk contribs‎ 2,143 bytes +24‎ added category "Type theory" undo

24 August 2008

• curprev 07:2507:25, 24 August 2008‎ Spoon! talk contribs‎ 2,119 bytes +115‎ No edit summary undo

26 December 2007

• curprev 16:0316:03, 26 December 2007‎ Hugo Herbelin talk contribs‎ 2,004 bytes +2,004‎ Creation: there were pages for union type union (computer science) and unit type, but, for product types, I only found a page on the record data structure and a page on the product in category