User contributions for Gallais

27 March 2024

• 15:2715:27, 27 March 2024diff hist +329‎ Markov's principle‎ Adding Markov's name for the principle as referenced in a peer-reviewed article

27 June 2022

• 21:1821:18, 27 June 2022diff hist +397‎ Talk:Proof by infinite descent‎ →‎This is not a proof by contradiction: ReplyTag: Reply
• 21:1121:11, 27 June 2022diff hist +132‎ Talk:Proof by infinite descent‎ →‎This is not a proof by contradiction
• 21:0921:09, 27 June 2022diff hist +917‎ Talk:Proof by infinite descent‎No edit summary
• 20:4620:46, 27 June 2022diff hist +294‎ Proof by infinite descent‎ Undid revision 1095343109 by Sapphorain (talk) This is not a play on words. If you do not understand the matter, do not feel obligated to opine.Tags: Undo Reverted
• 19:5219:52, 27 June 2022diff hist +294‎ Proof by infinite descent‎ Clarify proof of a negative statement vs. proof by contradictionTag: Reverted

8 December 2020

• 15:2215:22, 8 December 2020diff hist +169‎ Difference list‎ add reference

15 July 2020

• 11:5111:51, 15 July 2020diff hist +39‎ Idris (programming language)‎ Adding F# because of type providers & qualified dos

10 July 2020

• 10:1810:18, 10 July 2020diff hist +753‎ White feather‎ Undid revision 966911422 by 82.36.68.194 (talk) This is a sourced comment, clarifying the mention of Suffragettes made in the article's chapoTag: Undo

28 March 2020

• 15:1215:12, 28 March 2020diff hist −8‎ Bruce Aylward‎ Vandalism: Undid revision 947798157 by 80.5.59.138 (talk)Tag: Undo

11 January 2019

• 23:3823:38, 11 January 2019diff hist −1‎ mUtopian and dystopian fiction‎ typesetting
• 23:3723:37, 11 January 2019diff hist +33‎ Utopian and dystopian fiction‎ Undid revision 877430517 by 98.101.246.82 (talk)Tag: Undo
• 23:3323:33, 11 January 2019diff hist −330‎ Brandi Carlile‎ Undid revision 877943870 by 63.149.103.2 (talk) vandalismTag: Undo

13 December 2018

• 14:0314:03, 13 December 2018diff hist −10‎ mAnetta Kahane‎ Undid revision 872250439 by 2001:8003:417E:3700:2040:1E67:AC88:FF11 (talk) already discussed in the *next* sentence.Tag: Undo

1 December 2018

• 13:5513:55, 1 December 2018diff hist +265‎ Anetta Kahane‎ sourcing task force involvment
• 13:4513:45, 1 December 2018diff hist −248‎ Anetta Kahane‎ →‎Activism: removing opinionated attacks cf. https://www.search.com.vn/wiki/en/Wikipedia:Neutral_point_of_view

17 September 2018

• 16:5116:51, 17 September 2018diff hist +2‎ mAgda (programming language)‎ latest release
• 16:4916:49, 17 September 2018diff hist +148‎ mAgda (programming language)‎ Added a few categories
• 16:4816:48, 17 September 2018diff hist +52‎ mCategory:Dependently typed languages‎No edit summarycurrent

8 October 2017

• 21:5621:56, 8 October 2017diff hist +4‎ mSweet/Vicious‎ →‎Main: Taylor Dearden's page exists, linking to it

16 May 2015

• 19:5919:59, 16 May 2015diff hist +315‎ Talk:Irréversible‎ →‎Wrong transcription / translation?: new section

6 April 2015

• 00:0900:09, 6 April 2015diff hist +191‎ Bluevale and Whitevale Towers‎ →‎The building: Mentioning the Whitevale tower's deconstruction

22 February 2015

• 11:3911:39, 22 February 2015diff hist −49‎ Agda (programming language)‎ →‎Termination Checking: False statement: Turing Completeness is achieved in the Delay Monad

16 January 2015

• 02:4102:41, 16 January 2015diff hist +282‎ Talk:The Code (Australian TV series)‎ →‎Easter egg "Torvalds, L." in the last episode: new section

12 May 2014

• 21:1621:16, 12 May 2014diff hist +48‎ Linear logic‎ Linking the LL Wiki

31 August 2013

• 11:5511:55, 31 August 2013diff hist −9‎ mDependent type‎ Undid revision 570918063 by 122.58.253.84 (talk) -> a dependent type doesn't have to be a "data" type

24 August 2013

• 10:1110:11, 24 August 2013diff hist +296‎ Paisley Abbey‎ →‎Points of interest: Adding the Alien gargoyle

20 August 2013

• 13:3113:31, 20 August 2013diff hist +40‎ mCan Dialectics Break Bricks?‎ Adding the movie to the Situationist category

11 August 2013

• 17:5917:59, 11 August 2013diff hist +320‎ Dorothy Paul‎ Adding a Chewin' the Fat reference

10 July 2013

• 22:0822:08, 10 July 2013diff hist +19‎ mCan Dialectics Break Bricks?‎ adding Paris Commune as a subplot

5 March 2013

• 16:5916:59, 5 March 2013diff hist +13‎ mSystem F‎ →‎Use in programming languages: dead link to "church-project.org"

15 February 2013

• 17:3917:39, 15 February 2013diff hist +77‎ mCynthia Stevenson‎ →‎Filmography: Adding C. Stevenson's part in CHAOS (TV series). Not sure about the format for season / episode.