User contributions
From HaskellWiki
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 13:47, 18 November 2006 (hist) (diff) Talk:Curry-Howard-Lambek correspondence
- 06:11, 5 November 2006 (hist) (diff) m Curry-Howard-Lambek correspondence (fmt, accidentally overwrote dons' fmts)
- 06:04, 5 November 2006 (hist) (diff) Talk:Curry-Howard-Lambek correspondence
- 06:01, 5 November 2006 (hist) (diff) Curry-Howard-Lambek correspondence (MPTC)
- 05:44, 5 November 2006 (hist) (diff) 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.) (top)
- 05:44, 5 November 2006 (hist) (diff) m Talk:Curry-Howard-Lambek correspondence (Talk:Curry-Howard isomorphism moved to Talk:Curry-Howard-Lambek correspondence)
- 05:44, 5 November 2006 (hist) (diff) Curry-Howard isomorphism (Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence: wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously.) (top)
- 05:44, 5 November 2006 (hist) (diff) m Curry-Howard-Lambek correspondence (Curry-Howard isomorphism moved to Curry-Howard-Lambek correspondence)
- 15:08, 4 November 2006 (hist) (diff) Curry-Howard-Lambek correspondence
- 14:14, 4 November 2006 (hist) (diff) m Talk:Curry-Howard-Lambek correspondence
- 06:56, 2 November 2006 (hist) (diff) Curry-Howard-Lambek correspondence
- 04:16, 2 November 2006 (hist) (diff) Curry-Howard-Lambek correspondence (more to come)
- 03:32, 2 November 2006 (hist) (diff) Curry-Howard-Lambek correspondence
- 03:08, 2 November 2006 (hist) (diff) Curry-Howard-Lambek correspondence (oops)
- 03:01, 2 November 2006 (hist) (diff) Curry-Howard-Lambek correspondence (starting a semi-project, need help! (especially for Indexed Types))
- 22:56, 18 October 2006 (hist) (diff) m Currying (minor explanation)
- 07:28, 3 September 2006 (hist) (diff) Talk:Newtype
- 10:09, 27 August 2006 (hist) (diff) OOP vs type classes
- 09:54, 27 August 2006 (hist) (diff) Talk:OOP vs type classes
- 09:54, 27 August 2006 (hist) (diff) Talk:OOP vs type classes (agreed)
- 09:00, 18 August 2006 (hist) (diff) m Talk:OOP vs type classes
- 07:46, 16 August 2006 (hist) (diff) m OOP vs type classes (thought might make the Java examples more Haskell like)
- 07:43, 16 August 2006 (hist) (diff) m OOP vs type classes (bad english)
- 07:41, 16 August 2006 (hist) (diff) OOP vs type classes (Java like translations added)
- 17:23, 8 June 2006 (hist) (diff) m WinHugs/Future
- 16:21, 8 June 2006 (hist) (diff) m User:Uchchwhash (silly me)
- 16:19, 8 June 2006 (hist) (diff) m User:Uchchwhash
- 16:15, 8 June 2006 (hist) (diff) User:Uchchwhash
- 16:11, 8 June 2006 (hist) (diff) User:Uchchwhash
- 12:08, 7 May 2006 (hist) (diff) m Talk:HIDE (typo)
- 12:00, 7 May 2006 (hist) (diff) Talk:HIDE
- 11:15, 6 May 2006 (hist) (diff) m Talk:HIDE
- 11:00, 6 May 2006 (hist) (diff) m Talk:Recursive function theory
- 02:47, 2 May 2006 (hist) (diff) Talk:HIDE
- 17:33, 1 May 2006 (hist) (diff) m Talk:HIDE
- 17:19, 1 May 2006 (hist) (diff) Talk:HIDE
- 17:48, 14 April 2006 (hist) (diff) Language and library specification
- 04:22, 17 March 2006 (hist) (diff) HaskellWiki talk:Guidelines
- 04:17, 17 March 2006 (hist) (diff) HaskellWiki talk:Guidelines
- 04:16, 17 March 2006 (hist) (diff) HaskellWiki talk:Guidelines
- 04:16, 17 March 2006 (hist) (diff) HaskellWiki talk:Guidelines
- 04:15, 17 March 2006 (hist) (diff) HaskellWiki talk:Guidelines
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
