Type constructor: Revision history

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 19:1919:19, 15 August 2023 Norepimorphism talk contribs 3,374 bytes +897 Reference use of type constructors in computer programming undo

curprev 21:1921:19, 10 April 2022 Susy 11 talk contribs 2,477 bytes +10 single type constructor -> single non-basic type constructor undo

curprev 17:5217:52, 10 November 2021 Qwerfjkl (bot) talk contribs m 2,467 bytes −11 →top: clean up; fix CW Error #101: Ordinal numbers should be in regular text, not inside <sup> tags. undo Tag: AWB

curprev 13:5413:54, 3 December 2020 ArnoldReinhold talk contribs 2,478 bytes +93 Adding short description: "Feature of a typed formal language that builds new types from old ones" (Shortdesc helper) undo

curprev 15:5115:51, 30 May 2019 Varkora talk contribs 2,385 bytes +83 Make the distinction between nonbinding and binding type operators more explicit, as this is the crucial in understanding the lambda-cube. undo Tag: Visual edit

curprev 07:5007:50, 16 November 2016 132.234.228.7 talk 2,302 bytes −13 No edit summary undo
curprev 07:4807:48, 16 November 2016 132.234.228.7 talk 2,315 bytes +13 No edit summary undo

curprev 15:1215:12, 14 September 2016 François Robere talk contribs m 2,302 bytes −2 No edit summary undo

curprev 04:0404:04, 4 August 2016 220.130.164.4 talk 2,304 bytes −51 No edit summary undo

curprev 21:0921:09, 29 June 2016 Tom.Reding talk contribs m 2,355 bytes −20 →top: Rem stub tag (class = non-stub & non-list) using AWB undo

curprev 08:1008:10, 18 May 2016 HongxuChen talk contribs 2,375 bytes −1 put stub notification at top undo

curprev 15:2715:27, 12 February 2016 Csjacobs24 talk contribs 2,376 bytes +21 Include constructors of non-primitive, non-generic types undo
curprev 15:2315:23, 12 February 2016 Csjacobs24 talk contribs 2,355 bytes −90 Undid revision 704617824 by Csjacobs24 (talk) undo
curprev 15:1615:16, 12 February 2016 Csjacobs24 talk contribs 2,445 bytes +90 Remove implication that "type constructor" refers to non-nullary type constructors. undo
curprev 15:0915:09, 12 February 2016 Csjacobs24 talk contribs 2,355 bytes +39 Remove confusion between type constructors and the types they construct undo

curprev 08:4408:44, 18 December 2015 Yobot talk contribs m 2,316 bytes −2 →References: WP:CHECKWIKI error fixes using AWB (11757) undo

curprev 13:1013:10, 3 November 2015 213.57.104.223 talk 2,318 bytes +5 No edit summary undo

curprev 18:5718:57, 8 February 2015 DougBTX talk contribs 2,313 bytes +13 Markup type as math in the same way as Kind_(type_theory) undo

curprev 07:0107:01, 21 March 2013 KLBot2 talk contribs m 2,300 bytes −46 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q7860899 undo

curprev 16:0116:01, 23 February 2012 Atlantia talk contribs 2,346 bytes +46 →References undo

curprev 22:3422:34, 21 February 2012 2.28.74.122 talk 2,300 bytes +19 fix link undo

curprev 08:0308:03, 26 December 2011 NOrbeck talk contribs m 2,281 bytes −4 Removed circular link. undo

curprev 23:5723:57, 2 March 2011 Voidxor talk contribs m 2,285 bytes +5 Wikization, link fix, removed redundant links, removed red links undo

curprev 10:0610:06, 22 February 2011 Malcolma talk contribs m 2,280 bytes −18 cat undo

curprev 03:0103:01, 23 November 2010 Thecheesykid talk contribs 2,298 bytes +16 →References undo

curprev 06:0806:08, 28 September 2010 Rich Farmbrough talk contribs m 2,282 bytes +46 Tag uncat using AWB undo

curprev 02:5802:58, 21 August 2009 Pcap talk contribs 2,249 bytes +109 give STT as example undo

curprev 02:1002:10, 20 August 2009 Pcap talk contribs m 2,140 bytes +4 maybe someone knows more about applications of those undo
curprev 02:0302:03, 20 August 2009 Pcap talk contribs m 2,136 bytes +18 ce undo
curprev 02:0102:01, 20 August 2009 Pcap talk contribs 2,118 bytes +1,036 update undo

curprev 21:5321:53, 19 August 2009 Pcap talk contribs 1,082 bytes +608 expand with example undo
curprev 21:3221:32, 19 August 2009 Pcap talk contribs m 474 bytes 0 moved Type constructors to Type constructor: singular undo
curprev 21:3121:31, 19 August 2009 Pcap talk contribs 474 bytes +474 long overdue

Type constructor: Revision history

15 August 2023

10 April 2022

10 November 2021

3 December 2020

30 May 2019

16 November 2016

14 September 2016

4 August 2016

29 June 2016

18 May 2016

12 February 2016

18 December 2015

3 November 2015

8 February 2015

21 March 2013

23 February 2012

21 February 2012

26 December 2011

2 March 2011

22 February 2011

23 November 2010

28 September 2010

26 August 2009

21 August 2009

20 August 2009

19 August 2009