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
- 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
- 09:00, 18 August 2006 diff hist +160 Nm Talk:OOP vs type classes
- 07:46, 16 August 2006 diff hist +105 m OOP vs type classes thought might make the Java examples more Haskell like
- 07:43, 16 August 2006 diff hist -2 m OOP vs type classes bad english
- 07:41, 16 August 2006 diff hist +1,673 OOP vs type classes Java like translations added
- 17:23, 8 June 2006 diff hist +132 m WinHugs/Future
- 16:21, 8 June 2006 diff hist 0 m User:Uchchwhash silly me
- 16:19, 8 June 2006 diff hist +224 m User:Uchchwhash
- 16:15, 8 June 2006 diff hist +12 User:Uchchwhash
- 16:11, 8 June 2006 diff hist +3,048 N User:Uchchwhash
- 12:08, 7 May 2006 diff hist +66 m Talk:HIDE typo
- 12:00, 7 May 2006 diff hist +120 Talk:HIDE
- 11:15, 6 May 2006 diff hist +604 m Talk:HIDE
- 11:00, 6 May 2006 diff hist +277 Nm Talk:Recursive function theory
- 02:47, 2 May 2006 diff hist +789 Talk:HIDE
- 17:33, 1 May 2006 diff hist +242 m Talk:HIDE
- 17:19, 1 May 2006 diff hist +5,553 N Talk:HIDE
- 17:48, 14 April 2006 diff hist +24 Language and library specification
- 04:22, 17 March 2006 diff hist +4 HaskellWiki talk:Guidelines
- 04:17, 17 March 2006 diff hist +6 HaskellWiki talk:Guidelines
- 04:16, 17 March 2006 diff hist +4 HaskellWiki talk:Guidelines
- 04:16, 17 March 2006 diff hist +60 HaskellWiki talk:Guidelines
- 04:15, 17 March 2006 diff hist +129 HaskellWiki talk:Guidelines