User contributions
Jump to navigation
Jump to search
- 02:16, 3 October 2006 diff hist +48 m Type More links
- 22:19, 2 October 2006 diff hist -744 Haskell Reverting what appears to be spam by ara
- 22:18, 2 October 2006 diff hist -744 Help:Editing Reverting what appears to be spam by ara
- 22:18, 2 October 2006 diff hist +4,008 Talk:Haskell Reverting what appear to be spam messages by ara
- 21:49, 2 October 2006 diff hist 0 m Non-trivial type synonyms Correction phantom type links
- 02:09, 2 October 2006 diff hist -140 m HaWiki migration →A to E: Converted Category theory and ct / Papers (into category theory page)
- 02:06, 2 October 2006 diff hist +2,834 Category theory Converting HaWiki page, reorganizing
- 18:17, 30 September 2006 diff hist -57 m HaWiki migration →U to Z: Wanted Pages is a special page - dropped
- 15:13, 30 September 2006 diff hist +2 m Traits type class Changed link to Higher order function, english in sentence needs and s
- 15:11, 30 September 2006 diff hist -4 Traits type class
- 15:11, 30 September 2006 diff hist -4 m Wrapper types Links to Phantom Type current
- 15:08, 30 September 2006 diff hist -138 m HaWiki migration →Uncategorised pages: Non trivial type classes, wrapper types moved
- 15:05, 30 September 2006 diff hist +2,708 N Wrapper types Convert from HaWiki
- 14:58, 30 September 2006 diff hist +1 m Non-trivial type synonyms Adding Category
- 14:57, 30 September 2006 diff hist -731 m Non-trivial type synonyms Moving editorial comments to the talk page
- 14:56, 30 September 2006 diff hist +789 N Talk:Non-trivial type synonyms Moving editorial comments to the talk page current
- 14:54, 30 September 2006 diff hist +2,112 N Non-trivial type synonyms Convert from HaWiki
- 14:46, 30 September 2006 diff hist +32 m Type →See also: links
- 14:44, 30 September 2006 diff hist -30 m Smart constructors →Related work: Link of dimensionalized numbers to new wiki
- 14:40, 30 September 2006 diff hist -67 m HaWiki migration →P to T: Smart constructor page exists - HaWiki Factor function is the one to convert.