User contributions
Jump to navigation
Jump to search
- 17:18, 22 December 2006 diff hist +169 N Category:Orphaned projects Adopt-a-project for 2007 :)
- 17:17, 22 December 2006 diff hist +30 m HIDE Adding a category for orphaned projects
- 17:11, 22 December 2006 diff hist +157 Short theorem prover Spelling and format
- 17:06, 22 December 2006 diff hist +34 N Short theorum prover Short theorum prover moved to Short theorem prover: spelling
- 17:06, 22 December 2006 diff hist 0 m Short theorem prover Short theorum prover moved to Short theorem prover
- 19:16, 21 December 2006 diff hist +28 m HIDE Headings as per guidelines
- 19:14, 21 December 2006 diff hist +18 m HIDE/Design Headings as per guidelines
- 19:11, 21 December 2006 diff hist +8 m STG in Javascript Heading levels
- 16:15, 21 December 2006 diff hist +4,711 Existential type Add other simple examples with more notes, alternate ways.
- 14:13, 21 December 2006 diff hist +470 Talk:The Other Prelude Naming comment, Monad => Functor
- 14:08, 21 December 2006 diff hist 0 The Other Prelude Title conventions on hawiki pages
- 22:13, 20 December 2006 diff hist +1,329 N Indirect composite HaWiki conversion
- 22:12, 20 December 2006 diff hist +103 Algebraic data type Adding a see also
- 22:07, 20 December 2006 diff hist +5,488 N Concrete view HaWiki conversion
- 22:06, 20 December 2006 diff hist +28 m Concrete data type Link to concrete view. current
- 04:06, 20 December 2006 diff hist +143 Constructor links, rework notes.
- 04:02, 20 December 2006 diff hist +4 m Smart constructors →A first attempt: Link to constructor
- 04:01, 20 December 2006 diff hist +21 m Algebraic data type →Binary search tree: link update
- 03:56, 20 December 2006 diff hist +34 m Research papers/Monads and arrows add arrow category and link
- 03:54, 20 December 2006 diff hist +6 m Graph processing and representation (Graep) link, spelling current