Curry-Howard-Lambek correspondence: Revision history

18 November 2019

• curprev 15:4215:42, 18 November 2019‎ Bartosz talk contribs‎ 7,939 bytes 0‎ Fixed Haskell definition of (.) undo

21 February 2010

• curprev 21:3521:35, 21 February 2010‎ Newacct talk contribs‎ m 7,939 bytes −41‎ No edit summary undo

9 November 2008

• curprev 11:0811:08, 9 November 2008‎ Ertai talk contribs‎ 7,980 bytes +1‎ Add a missing parenthesis undo

2 August 2007

• curprev 23:2923:29, 2 August 2007‎ KirstenChevalier talk contribs‎ m 7,979 bytes 0‎ typo undo
• curprev 23:2823:28, 2 August 2007‎ KirstenChevalier talk contribs‎ 7,979 bytes −3‎ rewrite "multi-parameter type classes" intro undo

10 July 2007

• curprev 19:5319:53, 10 July 2007‎ AaronDenney talk contribs‎ m 7,982 bytes −30‎ not actually a quicksort -- not in place, etc. undo

1 February 2007

• curprev 19:5419:54, 1 February 2007‎ BrettGiles talk contribs‎ 8,012 bytes +48‎ Add infobox undo

28 November 2006

• curprev 01:0401:04, 28 November 2006‎ Stefan talk contribs‎ 7,964 bytes +762‎ describe negation undo

18 November 2006

• curprev 13:4813:48, 18 November 2006‎ Uchchwhash talk contribs‎ m 7,202 bytes 0‎ inhibit -> inhabit undo

6 November 2006

• curprev 20:5920:59, 6 November 2006‎ BrettGiles talk contribs‎ 7,202 bytes −75‎ Revise intro to be more descriptive of three way correspondance; links undo

5 November 2006

• curprev 06:1106:11, 5 November 2006‎ Uchchwhash talk contribs‎ m 7,277 bytes +9‎ fmt, accidentally overwrote dons' fmts undo
• curprev 06:0106:01, 5 November 2006‎ Uchchwhash talk contribs‎ 7,268 bytes +1,404‎ MPTC undo
• curprev 05:4605:46, 5 November 2006‎ DonStewart talk contribs‎ 5,864 bytes +4‎ more fmt undo
• curprev 05:4505:45, 5 November 2006‎ DonStewart talk contribs‎ 5,860 bytes +37‎ fmt undo
• curprev 05:4405:44, 5 November 2006‎ Uchchwhash talk contribs‎ m 5,823 bytes 0‎ Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence undo

4 November 2006

• curprev 16:1016:10, 4 November 2006‎ BrettGiles talk contribs‎ m 5,823 bytes +4‎ →‎Type Classes: - links, follow naming guidelines and amazingly, they appear! :) undo
• curprev 15:0815:08, 4 November 2006‎ Uchchwhash talk contribs‎ 5,819 bytes +1,826‎ No edit summary undo

2 November 2006

• curprev 19:3119:31, 2 November 2006‎ BrettGiles talk contribs‎ 3,993 bytes +239‎ Adding Lambek, categorization undo
• curprev 19:2619:26, 2 November 2006‎ BrettGiles talk contribs‎ m 3,754 bytes 0‎ Curry-Howard Isomorphism moved to Curry-Howard isomorphism undo
• curprev 06:5606:56, 2 November 2006‎ Uchchwhash talk contribs‎ 3,754 bytes +1,346‎ No edit summary undo
• curprev 04:1604:16, 2 November 2006‎ Uchchwhash talk contribs‎ 2,408 bytes +396‎ more to come undo
• curprev 03:3203:32, 2 November 2006‎ Uchchwhash talk contribs‎ 2,012 bytes +722‎ No edit summary undo
• curprev 03:0803:08, 2 November 2006‎ Uchchwhash talk contribs‎ 1,290 bytes +654‎ oops undo
• curprev 03:0103:01, 2 November 2006‎ Uchchwhash talk contribs‎ 636 bytes +636‎ starting a semi-project, need help! (especially for Indexed Types)