User contributions
Jump to navigation
Jump to search
- 06:15, 21 December 2006 diff hist +737 N The Other Prelude call for contribution
- 06:10, 20 December 2006 diff hist +467 Constructor added notes
- 17:55, 15 December 2006 diff hist +3,958 N Constructor start
- 15:17, 15 December 2006 diff hist +2,633 N Thunk start
- 08:45, 6 December 2006 diff hist +38 m HIDE added myself
- 08:41, 6 December 2006 diff hist -4,597 Talk:HIDE renovation
- 14:31, 18 November 2006 diff hist +182 User:Uchchwhash
- 13:48, 18 November 2006 diff hist 0 m Curry-Howard-Lambek correspondence inhibit -> inhabit
- 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