User contributions for Benmachine
A user with 255 edits.
13 September 2024
- 23:4123:41, 13 September 2024 diff hist −23 Jmacro patch-tag seems to be gone, couldn't find the github repo mentioned in the cabal file, but darcs hub seems to have a nearly-up-to-date repo current
- 23:2123:21, 13 September 2024 diff hist +57 The JavaScript Problem →Haste: haste domain was bought, redirects to something else now current
15 May 2023
- 16:3416:34, 15 May 2023 diff hist +66 OCaml clarifications on comments current Tag: visualeditor-switched
15 December 2019
- 14:4514:45, 15 December 2019 diff hist −21 User:Benmachine No edit summary current
- 14:2714:27, 15 December 2019 diff hist −1,753 User:Benmachine No edit summary
- 14:0714: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:0214:02, 15 December 2019 diff hist +122 User:Benmachine No edit summary
- 14:0014:00, 15 December 2019 diff hist −89 User:Benmachine No edit summary
- 14:0014:00, 15 December 2019 diff hist −132 User:Benmachine No edit summary
- 13:5813:58, 15 December 2019 diff hist −259 User:Benmachine/hasktag bug fixed current
- 13:5513:55, 15 December 2019 diff hist +2 m Non-strict semantics demote a section heading current
- 13:5213:52, 15 December 2019 diff hist +7 Non-strict semantics →Why?: more rephrases
- 13:5013:50, 15 December 2019 diff hist −7 Non-strict semantics →Why?: rephrase
- 13:4913:49, 15 December 2019 diff hist +62 Non-strict semantics clarified / rewrote two paragraphs
- 13:0813:08, 15 December 2019 diff hist −7 Non-strict semantics correct link destination
2 November 2015
- 14:1114:11, 2 November 2015 diff hist +2,461 User:Benmachine newtype draft
1 November 2015
- 16:5216:52, 1 November 2015 diff hist −30 Monoid →On the Writer monad: trim unhelpful remark
- 16:5116:51, 1 November 2015 diff hist −3 Monoid →On the Writer monad: avoid single quotes
- 16:5016:50, 1 November 2015 diff hist +1,029 Monoid →In more depth: writer + const
- 16:0116:01, 1 November 2015 diff hist −237 Monoid →On mconcat: cut my own unhelpful pedantry
- 15:5915:59, 1 November 2015 diff hist +1,529 Monoid mconcat stuff
- 15:0115:01, 1 November 2015 diff hist −142 Monoid →See also: cut some unnecessary stuff
- 15:0015:00, 1 November 2015 diff hist 0 m Monoid →So what?: style
- 14:5914:59, 1 November 2015 diff hist 0 Newtype syntax highlighting is getting single quotes wrong
- 14:2314:23, 1 November 2015 diff hist +21 Monoid →Declaration: fixity of <>
- 14:2214:22, 1 November 2015 diff hist +2,782 Monoid rewrite
- 12:4512:45, 1 November 2015 diff hist −688 User:Benmachine/hasktag bug deleting exposition of now-fixed bug
21 January 2015
- 00:5000:50, 21 January 2015 diff hist +17 m Polymorphism No edit summary current
19 October 2014
- 15:2515:25, 19 October 2014 diff hist +1 m Seq No edit summary
- 15:2215:22, 19 October 2014 diff hist +8 m User:Benmachine/Overqualified modules italicising current
2 March 2014
- 20:3820:38, 2 March 2014 diff hist +563 Strings No edit summary current
15 September 2013
- 01:3601: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...."
14 September 2013
- 21:2921:29, 14 September 2013 diff hist −111 User:Benmachine finished this
- 21:2921:29, 14 September 2013 diff hist +4 User:Benmachine/Non-strict semantics Redirected page to Non-strict semantics current
- 21:2821:28, 14 September 2013 diff hist −8,948 User:Benmachine/Non-strict semantics Moved rewrite to main location
- 21:2821:28, 14 September 2013 diff hist +5,577 Non-strict semantics Rewrote
- 20:2520:25, 14 September 2013 diff hist +2,079 User:Benmachine/Non-strict semantics No edit summary
- 20:0720:07, 14 September 2013 diff hist +342 User:Benmachine/Non-strict semantics Why non-strictness matters
- 20:0620:06, 14 September 2013 diff hist −6 User:Benmachine/Non-strict semantics Upgrade all the headings from h3s to h2s
- 18:0218:02, 14 September 2013 diff hist −4 User:Benmachine/Non-strict semantics →What?
- 18:0118:01, 14 September 2013 diff hist +7 User:Benmachine/Non-strict semantics →What?
- 17:5317:53, 14 September 2013 diff hist −2 User:Benmachine/Non-strict semantics No edit summary
- 16:5816:58, 14 September 2013 diff hist +11 m User:Benmachine/Non-strict semantics No edit summary
8 April 2013
21 January 2013
- 16:2416:24, 21 January 2013 diff hist −1 Impredicative types No edit summary
4 January 2013
- 16:4316:43, 4 January 2013 diff hist +691 Impredicative types Rewrite most of the article
29 December 2012
- 23:1923:19, 29 December 2012 diff hist +176 Impredicative types →See also
27 December 2012
- 03:0903:09, 27 December 2012 diff hist +63 Seq No edit summary
- 02:5402:54, 27 December 2012 diff hist −3 m Seq unnecessary whitespace
- 02:4802: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