Refinement type: Revision history

3 July 2024

• curprev 14:0114:01, 3 July 2024‎ Brighterorange talk contribs‎ 3,292 bytes +19‎ Wikilink Pfenning, who has an article undo

7 November 2023

• curprev 08:5308:53, 7 November 2023‎ OAbot talk contribs‎ m 3,273 bytes +17‎ Open access bot: doi updated in citation with #oabot. undo

27 October 2023

• curprev 21:4121:41, 27 October 2023‎ WikiCleanerBot talk contribs‎ m 3,256 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

18 October 2023

• curprev 20:5620:56, 18 October 2023‎ GeorgeMiao talk contribs‎ 3,256 bytes +394‎ Add Rust to languages that has refinement type developed. undo

14 January 2021

• curprev 16:4816:48, 14 January 2021‎ Yobot talk contribs‎ m 2,862 bytes +2‎ Fix REFPUNCT + other minor fixes undo Tag: AWB

13 January 2021

• curprev 16:3616:36, 13 January 2021‎ Monkbot talk contribs‎ m 2,860 bytes −61‎ Task 18 (cosmetic): eval 6 templates: del empty params (4×); hyphenate params (4×); del |url-status= (1×); undo Tag: AWB

26 November 2020

• curprev 06:1406:14, 26 November 2020‎ Kr5t talk contribs‎ 2,921 bytes −122‎ →‎History: Remove reference to Flow's "type refinement", which is unrelated to "refinement types". Flow's built-in feature "type refinement" is analogous to TypeScript's built-in feature "type narrowing". Although an old research project did implement actual "refinement types" on top of TypeScript syntax, they were never implemented for Flow, and are built-into neither undo

6 June 2020

• curprev 18:1018:10, 6 June 2020‎ Justnika talk contribs‎ 3,043 bytes +211‎ Added a reference to a refinement types library for Haskell undo Tag: Visual edit

22 February 2020

• curprev 03:4403:44, 22 February 2020‎ ThomasJMarko talk contribs‎ 2,832 bytes +122‎ →‎History undo

16 January 2020

• curprev 01:4801:48, 16 January 2020‎ Akeosnhaoe talk contribs‎ 2,710 bytes +22‎ →‎See also undo Tags: Mobile edit Mobile web edit

25 November 2019

• curprev 18:2918:29, 25 November 2019‎ 71.58.78.201 talk‎ 2,688 bytes +3‎ No edit summary undo

24 November 2019

• curprev 17:2717:27, 24 November 2019‎ 98.208.209.92 talk‎ 2,685 bytes −12‎ →‎History: Grammar undo

10 April 2019

• curprev 19:3219:32, 10 April 2019‎ OAbot talk contribs‎ m 2,697 bytes +17‎ Open access bot: add arxiv identifier to citation with #oabot. undo

5 April 2019

• curprev 19:1219:12, 5 April 2019‎ Adam Williams talk contribs‎ 2,680 bytes +136‎ Add more about the ML refinement types undo
• curprev 19:0119:01, 5 April 2019‎ Adam Williams talk contribs‎ 2,544 bytes +1,071‎ Add a history section undo

6 August 2018

• curprev 13:3813:38, 6 August 2018‎ OriumX talk contribs‎ m 1,473 bytes +4‎ No edit summary undo

5 August 2018

• curprev 09:1909:19, 5 August 2018‎ Elmidae talk contribs‎ 1,469 bytes +26‎ cleanup undo

4 August 2018

• curprev 19:5519:55, 4 August 2018‎ OriumX talk contribs‎ 1,443 bytes +1,339‎ Created page with content from Refinement_(computing) undo Tag: Removed redirect

1 July 2013

• curprev 17:4417:44, 1 July 2013‎ Doncram talk contribs‎ 104 bytes +17‎ make the redirect more specific to "Refinement types" section of target. I dunno about merits of some disagreement at ANI. undo

24 June 2013

• curprev 12:4412:44, 24 June 2013‎ Arthur Rubin talk contribs‎ 87 bytes −2,232‎ Reverted 3 edits by Eptified (talk): That isn't the possibility. In addition to only the "Liquid types" section not being in the target article, most of the references are not obviously reliabl... undo
• curprev 07:4207:42, 24 June 2013‎ Eptified talk contribs‎ 2,319 bytes +183‎ No edit summary undo
• curprev 07:4007:40, 24 June 2013‎ Eptified talk contribs‎ 2,136 bytes +12‎ No edit summary undo
• curprev 07:3907:39, 24 June 2013‎ Eptified talk contribs‎ 2,124 bytes +2,037‎ No edit summary undo

25 October 2012

• curprev 11:3811:38, 25 October 2012‎ AvicBot talk contribs‎ m 87 bytes +4‎ Robot: Fixing double redirect to Refinement (computing) undo

11 November 2011

• curprev 00:1000:10, 11 November 2011‎ Ruud Koot talk contribs‎ 83 bytes +25‎ cat undo

23 September 2009

• curprev 19:0419:04, 23 September 2009‎ Classicalecon talk contribs‎ m 58 bytes +58‎ ←Redirected page to Program refinement