User contributions
Jump to navigation
Jump to search
- 16:34, 15 May 2023 diff hist +66 OCaml clarifications on comments current Tag: Visual edit: Switched
- 14:45, 15 December 2019 diff hist -21 User:Benmachine current
- 14:27, 15 December 2019 diff hist -1,753 User:Benmachine
- 14:07, 15 December 2019 diff hist +2,432 N User:Benmachine/Newtype Created page with "A '''newtype''' declaration creates a fresh type with the same representation as an existing ("underlying") type. The most common reasons they are used are: * providing addit..." current
- 14:02, 15 December 2019 diff hist +122 User:Benmachine
- 14:00, 15 December 2019 diff hist -89 User:Benmachine
- 14:00, 15 December 2019 diff hist -132 User:Benmachine
- 13:58, 15 December 2019 diff hist -259 User:Benmachine/hasktag bug fixed current
- 13:55, 15 December 2019 diff hist +2 m Non-strict semantics demote a section heading current
- 13:52, 15 December 2019 diff hist +7 Non-strict semantics →Why?: more rephrases
- 13:50, 15 December 2019 diff hist -7 Non-strict semantics →Why?: rephrase
- 13:49, 15 December 2019 diff hist +62 Non-strict semantics clarified / rewrote two paragraphs
- 13:08, 15 December 2019 diff hist -7 Non-strict semantics correct link destination
- 14:11, 2 November 2015 diff hist +2,461 User:Benmachine newtype draft
- 16:52, 1 November 2015 diff hist -30 Monoid →On the Writer monad: trim unhelpful remark
- 16:51, 1 November 2015 diff hist -3 Monoid →On the Writer monad: avoid single quotes
- 16:50, 1 November 2015 diff hist +1,029 Monoid →In more depth: writer + const
- 16:01, 1 November 2015 diff hist -237 Monoid →On mconcat: cut my own unhelpful pedantry
- 15:59, 1 November 2015 diff hist +1,529 Monoid mconcat stuff
- 15:01, 1 November 2015 diff hist -142 Monoid →See also: cut some unnecessary stuff
- 15:00, 1 November 2015 diff hist 0 m Monoid →So what?: style
- 14:59, 1 November 2015 diff hist 0 Newtype syntax highlighting is getting single quotes wrong
- 14:23, 1 November 2015 diff hist +21 Monoid →Declaration: fixity of <>
- 14:22, 1 November 2015 diff hist +2,782 Monoid rewrite
- 12:45, 1 November 2015 diff hist -688 User:Benmachine/hasktag bug deleting exposition of now-fixed bug
- 00:50, 21 January 2015 diff hist +17 m Polymorphism current
- 15:25, 19 October 2014 diff hist +1 m Seq current
- 15:22, 19 October 2014 diff hist +8 m User:Benmachine/Overqualified modules italicising current
- 20:38, 2 March 2014 diff hist +563 Strings current
- 01:36, 15 September 2013 diff hist +1,190 N Pure Created page with "A function is called '''pure''' if it corresponds to a function in the mathematical sense: it associates each possible input value with an output value, and does nothing else...."
- 21:29, 14 September 2013 diff hist -111 User:Benmachine finished this
- 21:29, 14 September 2013 diff hist +4 User:Benmachine/Non-strict semantics Redirected page to Non-strict semantics current
- 21:28, 14 September 2013 diff hist -8,948 User:Benmachine/Non-strict semantics Moved rewrite to main location
- 21:28, 14 September 2013 diff hist +5,577 Non-strict semantics Rewrote
- 20:25, 14 September 2013 diff hist +2,079 User:Benmachine/Non-strict semantics
- 20:07, 14 September 2013 diff hist +342 User:Benmachine/Non-strict semantics Why non-strictness matters
- 20:06, 14 September 2013 diff hist -6 User:Benmachine/Non-strict semantics Upgrade all the headings from h3s to h2s
- 18:02, 14 September 2013 diff hist -4 User:Benmachine/Non-strict semantics →What?
- 18:01, 14 September 2013 diff hist +7 User:Benmachine/Non-strict semantics →What?
- 17:53, 14 September 2013 diff hist -2 User:Benmachine/Non-strict semantics
- 16:58, 14 September 2013 diff hist +11 m User:Benmachine/Non-strict semantics
- 11:11, 8 April 2013 diff hist -11 User:Benmachine/Non-strict semantics →Why?
- 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)