User contributions
Jump to navigation
Jump to search
- 05:30, 26 August 2006 diff hist +128 Lambdabot @version
- 04:10, 26 August 2006 diff hist +87 Lambdabot note free theorems generator now in lambdabot
- 08:20, 23 August 2006 diff hist +110 Research papers/Testing and correctness link across to verfified kernels
- 08:13, 23 August 2006 diff hist +124 Research papers/Testing and correctness +"Extended static checking for Haskell"
- 07:39, 23 August 2006 diff hist +89 Research papers/Data structures link list data structure to fusion stuff on lists
- 07:38, 23 August 2006 diff hist +68 Research papers/Compilation link fusion stuff to list data structure category
- 07:36, 23 August 2006 diff hist +370 Research papers/Compilation another fusion paper
- 04:16, 23 August 2006 diff hist +2,260 Research papers/Compilation Lots (and hardly scratched the surface) of papers on fusion and deforestation
- 12:45, 22 August 2006 diff hist +149 Research papers/Program development another haskell OS paper
- 12:36, 22 August 2006 diff hist +374 Research papers/Program development some more haskell operating system papers
- 02:57, 20 August 2006 diff hist +629 How to read Haskell Tip for what: M _ ' l r mean as suffixes
- 04:11, 18 August 2006 diff hist +40 Haskell Surely the frontpage should point to the real hugs and ghc, not a 'preview' release of the WinHugs gui, and a ghc subpage
- 14:39, 16 August 2006 diff hist +394 N Typeful symbolic differentiation +Typeful symbolic differentiation
- 03:19, 16 August 2006 diff hist -3 m Template:Main/News wibbles
- 06:51, 15 August 2006 diff hist +93 Mailing lists haskell@ from 1990-2006, combined archive
- 04:54, 15 August 2006 diff hist +475 Books +"Systematic Design of Monads" tutorial
- 04:50, 15 August 2006 diff hist -203 Research papers Add "The History of haskell" to overview section
- 03:34, 15 August 2006 diff hist +294 Research papers/Data structures +"Strongly Typed Memory Areas"
- 03:30, 15 August 2006 diff hist +201 Research papers/Generics +"A Generic Recursion Toolbox for Haskell"
- 03:26, 15 August 2006 diff hist +146 Research papers/Type systems +" A Library for Derivable Type Classes"