User contributions
Jump to navigation
Jump to search
- 13:47, 18 November 2006 diff hist +101 Talk:Curry-Howard-Lambek correspondence
- 06:11, 5 November 2006 diff hist +9 m Curry-Howard-Lambek correspondence fmt, accidentally overwrote dons' fmts
- 06:04, 5 November 2006 diff hist +322 Talk:Curry-Howard-Lambek correspondence
- 06:01, 5 November 2006 diff hist +1,404 Curry-Howard-Lambek correspondence MPTC
- 05:44, 5 November 2006 diff hist +53 N Talk:Curry-Howard isomorphism Talk:Curry-Howard isomorphism moved to Talk:Curry-Howard-Lambek correspondence: wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously. current
- 05:44, 5 November 2006 diff hist 0 m Talk:Curry-Howard-Lambek correspondence Talk:Curry-Howard isomorphism moved to Talk:Curry-Howard-Lambek correspondence
- 05:44, 5 November 2006 diff hist +48 N Curry-Howard isomorphism Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence: wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously.
- 05:44, 5 November 2006 diff hist 0 m Curry-Howard-Lambek correspondence Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence
- 15:08, 4 November 2006 diff hist +1,826 Curry-Howard-Lambek correspondence
- 14:14, 4 November 2006 diff hist +162 Nm Talk:Curry-Howard-Lambek correspondence
- 06:56, 2 November 2006 diff hist +1,346 Curry-Howard-Lambek correspondence
- 04:16, 2 November 2006 diff hist +396 Curry-Howard-Lambek correspondence more to come
- 03:32, 2 November 2006 diff hist +722 Curry-Howard-Lambek correspondence
- 03:08, 2 November 2006 diff hist +654 Curry-Howard-Lambek correspondence oops
- 03:01, 2 November 2006 diff hist +636 N Curry-Howard-Lambek correspondence starting a semi-project, need help! (especially for Indexed Types)
- 22:56, 18 October 2006 diff hist +159 m Currying minor explanation
- 07:28, 3 September 2006 diff hist +160 N Talk:Newtype
- 10:09, 27 August 2006 diff hist -19 OOP vs type classes
- 09:54, 27 August 2006 diff hist +65 Talk:OOP vs type classes
- 09:54, 27 August 2006 diff hist +141 Talk:OOP vs type classes agreed