User contributions
Jump to navigation
Jump to search
- 16:24, 21 January 2013 diff hist -1 Impredicative types
- 16:43, 4 January 2013 diff hist +691 Impredicative types Rewrite most of the article
- 23:19, 29 December 2012 diff hist +176 Impredicative types →See also
- 03:09, 27 December 2012 diff hist +63 Seq
- 02:54, 27 December 2012 diff hist -3 m Seq unnecessary whitespace
- 02:48, 27 December 2012 diff hist +42 N Talk:Functional dependency Talk:Functional dependency moved to Talk:Functional dependencies: More often referred to in plural (e.g. extension name) current
- 02:48, 27 December 2012 diff hist 0 m Talk:Functional dependencies Talk:Functional dependency moved to Talk:Functional dependencies: More often referred to in plural (e.g. extension name) current
- 02:48, 27 December 2012 diff hist +37 N Functional dependency Functional dependency moved to Functional dependencies over redirect: More often referred to in plural (e.g. extension name)
- 02:48, 27 December 2012 diff hist 0 m Functional dependencies Functional dependency moved to Functional dependencies over redirect: More often referred to in plural (e.g. extension name)
- 02:35, 27 December 2012 diff hist +151 Impredicative types →See also
- 11:45, 26 December 2012 diff hist +162 User:Benmachine/Overqualified modules
- 11:41, 26 December 2012 diff hist +72 User:Benmachine/Overqualified modules →Data.Data.Data
- 05:28, 22 December 2012 diff hist +20 OCaml →Syntactic dictionary
- 05:27, 22 December 2012 diff hist -1 m OCaml →Syntactic dictionary
- 17:19, 21 December 2012 diff hist -8 Multi-parameter type class →About
- 17:18, 21 December 2012 diff hist +566 Multi-parameter type class
- 17:04, 21 December 2012 diff hist +185 Monad Transformer Library →See also current
- 16:53, 21 December 2012 diff hist 0 m Monad Transformer Library →History
- 16:49, 21 December 2012 diff hist +2,295 Monad Transformer Library History as I understand it
- 12:19, 17 December 2012 diff hist -1,127 Haddock/Development ideas Removing ideas that are now implemented or irrelevant.
- 18:11, 12 December 2012 diff hist +54 OCaml →Syntactic dictionary
- 18:10, 12 December 2012 diff hist -1 m OCaml
- 18:09, 12 December 2012 diff hist 0 OCaml
- 13:29, 12 December 2012 diff hist +4 OCaml →Syntactic dictionary
- 13:27, 12 December 2012 diff hist +80 OCaml →Syntactic dictionary
- 13:22, 12 December 2012 diff hist +17 OCaml →Syntactic dictionary
- 13:22, 12 December 2012 diff hist +4 OCaml →Syntactic dictionary
- 13:21, 12 December 2012 diff hist +10 OCaml →Syntactic dictionary
- 01:01, 12 December 2012 diff hist +3 OCaml →Syntactic dictionary
- 00:16, 12 December 2012 diff hist +92 OCaml →Syntactic dictionary
- 23:09, 11 December 2012 diff hist -4 OCaml →Conceptual differences
- 23:09, 11 December 2012 diff hist +29 OCaml →Conceptual differences
- 23:08, 11 December 2012 diff hist +4 OCaml →Conceptual differences
- 23:08, 11 December 2012 diff hist -1 OCaml →Syntactic differences
- 22:50, 11 December 2012 diff hist +141 OCaml →Syntactic differences
- 22:31, 11 December 2012 diff hist +1,300 N OCaml New page: '''OCaml''' is a functional programming language in the ML family, an extension of the Caml language with object-oriented constructs. This page aims to cover some of its differences from ...
- 14:04, 11 December 2012 diff hist +22 User:Benmachine/Non-strict semantics →What?
- 14:03, 11 December 2012 diff hist +445 User:Benmachine/Non-strict semantics →What?
- 13:58, 11 December 2012 diff hist -24 User:Benmachine/Non-strict semantics →What?
- 13:56, 11 December 2012 diff hist +687 User:Benmachine/Non-strict semantics →What?
- 13:48, 11 December 2012 diff hist +76 User:Benmachine/Non-strict semantics →Why?
- 20:35, 13 September 2012 diff hist +5 Hask id is a function :)
- 11:40, 13 September 2012 diff hist +84 Phantom type
- 11:38, 13 September 2012 diff hist +35 Phantom type
- 01:16, 6 September 2012 diff hist +1 Abbreviations →An overview of Haskell related abbreviations
- 01:15, 6 September 2012 diff hist +23 Impredicative types
- 01:14, 6 September 2012 diff hist +34 Impredicative types
- 01:13, 6 September 2012 diff hist -35 Impredicative types
- 01:13, 6 September 2012 diff hist -1 Impredicative types →See also
- 01:13, 6 September 2012 diff hist +1,199 N Impredicative types New page: Impredicative types are to be contrasted with rank-N types. A standard Haskell type is universally quantified by default, and quantifiers can only appear at the top level of a type or...
- 01:04, 6 September 2012 diff hist 0 m Rank-N types →See also
- 01:04, 6 September 2012 diff hist -2 Rank-N types →See also
- 01:03, 6 September 2012 diff hist +213 Rank-N types
- 00:53, 6 September 2012 diff hist -2 User:Benmachine/uninstall.sh current
- 00:52, 6 September 2012 diff hist +929 N User:Benmachine/uninstall.sh New page: <code> #!/bin/bash -eu # Usage: ./uninstall.sh [--force | --no-unregister] pkgname # Specify the version as well! # if you set VER in the environment to e.g. "-7.0.1" you can use # the gh...
- 00:51, 6 September 2012 diff hist +89 User:Benmachine
- 16:42, 5 September 2012 diff hist -41 User:Benmachine maybe I won't make that page today
- 14:29, 5 September 2012 diff hist -33 User:Benmachine
- 14:11, 5 September 2012 diff hist +74 User:Benmachine
- 13:48, 5 September 2012 diff hist -2 m User:Benmachine/Overqualified modules
- 13:48, 5 September 2012 diff hist +12 m User:Benmachine/Overqualified modules →See also
- 13:47, 5 September 2012 diff hist +133 User:Benmachine/Overqualified modules
- 02:22, 5 September 2012 diff hist -2 User:Benmachine/Overqualified modules →Redundant specification
- 02:20, 5 September 2012 diff hist -2 m User:Benmachine/Overqualified modules Putting conclusion up a level
- 02:20, 5 September 2012 diff hist +5,429 N User:Benmachine/Overqualified modules New page: == Overqualified modules == The hierarchical module system was originally proposed as an extension to the Haskell98 standard, and adopted formally in Haskell2010. It is typically regarded...
- 02:14, 5 September 2012 diff hist +94 User:Benmachine
- 01:56, 5 September 2012 diff hist +115 HaskellWiki:Syntax highlighting →Inline formatting with <hask>
- 23:55, 4 September 2012 diff hist +74 Seq →Controversy!
- 23:51, 4 September 2012 diff hist +6 User:Benmachine/Non-strict semantics →Why?
- 23:42, 4 September 2012 diff hist -37 Polymorphism
- 22:12, 4 September 2012 diff hist -10 User:Benmachine/hasktag bug →Paragraphs
- 22:11, 4 September 2012 diff hist +48 Haskell Cafe migration me + alphasorting current
- 21:59, 4 September 2012 diff hist -1,959 Ad-hoc polymorphism Moved content to Polymorphism
- 21:58, 4 September 2012 diff hist +1,222 Polymorphism →Ad-hoc polymorphism
- 21:42, 4 September 2012 diff hist -8 Polymorphism →Ad-hoc polymorphism
- 21:39, 4 September 2012 diff hist -882 Parametric polymorphism Moved content to Polymorphism current
- 21:37, 4 September 2012 diff hist +15 Polymorphism
- 21:35, 4 September 2012 diff hist +65 Polymorphism →Parametric polymorphism
- 21:29, 4 September 2012 diff hist +77 Polymorphism mention generics
- 21:26, 4 September 2012 diff hist 0 m Polymorphism →Parametric polymorphism
- 21:25, 4 September 2012 diff hist -7 Polymorphism →Other kinds of polymorphism
- 21:25, 4 September 2012 diff hist +2,739 Polymorphism
- 17:10, 14 May 2012 diff hist -1 m Template:Main/Events whitespace
- 17:10, 14 May 2012 diff hist -1 Template:Main/Events
- 14:53, 9 May 2012 diff hist +39 User:Benmachine/Non-strict semantics →What?: – explain the python expression
- 14:12, 8 May 2012 diff hist +75 HaskellWiki:Community →Special pages current
- 17:25, 7 May 2012 diff hist +58 Talk:Typing current
- 17:22, 7 May 2012 diff hist +1 User:Benmachine/Non-strict semantics →What?
- 17:21, 7 May 2012 diff hist -22 User:Benmachine/Non-strict semantics →What?: using a more guessable python expression
- 17:07, 7 May 2012 diff hist +116 User talk:Benmachine/Non-strict semantics current
- 16:56, 7 May 2012 diff hist -13 Talk:Typing maybe I should use the preview button sometimes
- 16:55, 7 May 2012 diff hist +2 Talk:Typing
- 16:55, 7 May 2012 diff hist +456 Talk:Typing
- 16:51, 7 May 2012 diff hist +1,176 N Talk:Typing New page: The article contains this: * Weak typing: There are only few distinguished types and maybe type synonyms for several types. E.g. C uses integer numbers for booleans, integers, charact...
- 16:20, 7 May 2012 diff hist +111 Polymorphism →Examples
- 22:54, 4 May 2012 diff hist +1,780 N User talk:Benmachine/Non-strict semantics New page: Comments from IRC: 22:53:25 < monochrom> benmachine: in your article on non-strictness, you fall into the same fallacy that everyone else falls into, of ...
- 21:41, 4 May 2012 diff hist +35 Seq
- 21:33, 4 May 2012 diff hist -52 User:Benmachine/Non-strict semantics
- 21:29, 4 May 2012 diff hist +54 Seq
- 21:28, 4 May 2012 diff hist +1 m Seq