Type arithmetic: Revision history

15 August 2019

• curprev 19:2319:23, 15 August 2019‎ Ysangkok talk contribs‎ m 8,644 bytes −117‎ fix gmane links using archive.fo undo

11 April 2014

• curprev 14:0114:01, 11 April 2014‎ Heisenbug talk contribs‎ m 8,761 bytes +1‎ typo undo

19 July 2012

• curprev 16:2616:26, 19 July 2012‎ BMeph talk contribs‎ 8,760 bytes +44‎ Changed Monad.Reader link refs. undo

27 April 2012

• curprev 20:0220:02, 27 April 2012‎ Lemming talk contribs‎ 8,716 bytes +199‎ →‎Library support: comments on libraries undo
• curprev 19:4419:44, 27 April 2012‎ Lemming talk contribs‎ 8,517 bytes +824‎ →‎Library support: list of packages undo
• curprev 19:2519:25, 27 April 2012‎ Lemming talk contribs‎ 7,693 bytes +193‎ link to type-level library undo

2 October 2009

• curprev 13:0713:07, 2 October 2009‎ Boris talk contribs‎ m 7,500 bytes −1‎ misprint correction undo

30 June 2007

• curprev 20:1120:11, 30 June 2007‎ Marcel Manthe talk contribs‎ m 7,501 bytes 0‎ No edit summary undo
• curprev 19:0119:01, 30 June 2007‎ Marcel Manthe talk contribs‎ 7,501 bytes +36‎ No edit summary undo

22 June 2007

• curprev 09:0809:08, 22 June 2007‎ DonStewart talk contribs‎ 7,465 bytes +58‎ No edit summary undo
• curprev 09:0709:07, 22 June 2007‎ DonStewart talk contribs‎ 7,407 bytes +63‎ syntax hl undo

6 November 2006

• curprev 12:5012:50, 6 November 2006‎ Lemming talk contribs‎ 7,344 bytes +25‎ Category:Mathematics undo

11 August 2006

• curprev 12:4312:43, 11 August 2006‎ Robdockins talk contribs‎ 7,319 bytes +130‎ No edit summary undo

9 August 2006

• curprev 21:2621:26, 9 August 2006‎ Ptolomy talk contribs‎ 7,189 bytes −1‎ Fixed typo undo

17 June 2006

• curprev 11:2711:27, 17 June 2006‎ EndreyMark talk contribs‎ 7,190 bytes +241‎ New sections →‎Theory: (linking to Dependent type) and →‎Practice: (linking to Extensible record and relational algebra) undo

25 February 2006

• curprev 05:0405:04, 25 February 2006‎ DonStewart talk contribs‎ m 6,949 bytes −4‎ Typo undo
• curprev 04:3404:34, 25 February 2006‎ DonStewart talk contribs‎ m 6,953 bytes 0‎ Typo undo
• curprev 04:3204:32, 25 February 2006‎ DonStewart talk contribs‎ 6,953 bytes +601‎ Roman provides a lambda calculus encoded on the type level, with Y combinators and all undo

17 February 2006

• curprev 00:0700:07, 17 February 2006‎ DonStewart talk contribs‎ m 6,352 bytes +52‎ Link to Hallgren's paper undo

16 February 2006

• curprev 23:3723:37, 16 February 2006‎ DonStewart talk contribs‎ m 6,300 bytes +44‎ Link undo
• curprev 23:2423:24, 16 February 2006‎ DonStewart talk contribs‎ m 6,256 bytes +204‎ Mention Curry-Howard is behind Djinn undo
• curprev 10:1410:14, 16 February 2006‎ ChrisKuklewicz talk contribs‎ 6,052 bytes +353‎ Point to decimal type numbers undo
• curprev 09:0509:05, 16 February 2006‎ DonStewart talk contribs‎ m 5,699 bytes −39‎ Stylistic changes undo
• curprev 06:5706:57, 16 February 2006‎ DonStewart talk contribs‎ 5,738 bytes +1,740‎ Talk about the various libraries for type-level computation in Haskell undo
• curprev 06:2606:26, 16 February 2006‎ DonStewart talk contribs‎ 3,998 bytes +3,534‎ Extend type arithmetic page with full example of type-level quicksort undo

1 February 2006

• curprev 20:4820:48, 1 February 2006‎ Ashley Y talk contribs‎ 464 bytes +21‎ No edit summary undo
• curprev 20:4720:47, 1 February 2006‎ Ashley Y talk contribs‎ 443 bytes +443‎ No edit summary