User contributions for Cobalt pen
Results for Cobalt pen talk block log uploads logs global block log global account filter log
A user with 1,591 edits. Account created on 2 August 2011.
30 September 2023
- 14:1614:16, 30 September 2023 diff hist +302 Talk:Hindley–Milner type system →Second proof under "Typing Rules" is broken: Reply Tag: Reply
8 February 2023
- 08:3608:36, 8 February 2023 diff hist −81 Hindley–Milner type system No edit summary
- 08:3508:35, 8 February 2023 diff hist +370 Talk:Hindley–Milner type system →Article reads like a textbook: Reply Tag: Reply
21 December 2022
- 10:4410:44, 21 December 2022 diff hist +3,044 Talk:Hindley–Milner type system →Article reads like a textbook: Reply Tag: Reply
23 May 2022
- 10:3010:30, 23 May 2022 diff hist +171 Talk:Hindley–Milner type system →Discussion of polymorphism is misleading: Reply Tag: Reply
14 February 2021
- 11:3611:36, 14 February 2021 diff hist −96 Hindley–Milner type system →Typing rule
- 11:3311:33, 14 February 2021 diff hist −1 Hindley–Milner type system →Subtyping
- 11:3011:30, 14 February 2021 diff hist +47 Hindley–Milner type system →Meta types
- 11:1911:19, 14 February 2021 diff hist 0 Hindley–Milner type system →Subtyping
- 11:1811:18, 14 February 2021 diff hist +21 Hindley–Milner type system →Subtyping
- 11:1011:10, 14 February 2021 diff hist +3 Hindley–Milner type system →Subtyping
- 11:0911:09, 14 February 2021 diff hist −562 Hindley–Milner type system →Subtyping
10 January 2021
- 04:5204:52, 10 January 2021 diff hist +31 Algebraic specification No edit summary
- 04:4704:47, 10 January 2021 diff hist +301 Algebraic specification No edit summary
- 03:5603:56, 10 January 2021 diff hist +189 Talk:Algebraic data type →Algebraic?
- 03:0403:04, 10 January 2021 diff hist +645 Talk:Algebraic data type →Algebraic?
23 October 2020
- 07:1407:14, 23 October 2020 diff hist −1 Hindley–Milner type system →Type order
- 07:1107:11, 23 October 2020 diff hist −563 User talk:Jflopezfernandez No edit summary current Tag: Manual revert
19 October 2020
- 10:1410:14, 19 October 2020 diff hist +80 Talk:Recursive data type →Merge
- 09:5909:59, 19 October 2020 diff hist −7 Talk:Recursive data type →Merge
- 09:4509:45, 19 October 2020 diff hist +320 Talk:Recursive data type →Merge
16 October 2020
- 14:0814:08, 16 October 2020 diff hist +8 Data type →Meta types
- 14:0714:07, 16 October 2020 diff hist +421 Data type →Other types
- 13:0013:00, 16 October 2020 diff hist 0 Data type No edit summary
- 12:5612:56, 16 October 2020 diff hist +2 Data type →Utility types
- 12:4512:45, 16 October 2020 diff hist −2 Data type →Abstract data types
- 12:4412:44, 16 October 2020 diff hist +1 Data type →Abstract data types
- 12:4312:43, 16 October 2020 diff hist −5 Data type →Abstract data types
- 12:3712:37, 16 October 2020 diff hist +68 Data type →Abstract data types
- 12:2812:28, 16 October 2020 diff hist +59 Data type →Abstract data types
- 12:1712:17, 16 October 2020 diff hist +2 Data type →Abstract data types
- 12:0712:07, 16 October 2020 diff hist +49 Data type →Abstract data types
- 11:5411:54, 16 October 2020 diff hist −5 Data type →Abstract data types
- 11:5311:53, 16 October 2020 diff hist +300 Data type →Abstract data types
- 11:3511:35, 16 October 2020 diff hist +31 Data type No edit summary
- 11:3111:31, 16 October 2020 diff hist +154 Data type →Function types
- 11:0611:06, 16 October 2020 diff hist +1 Data type →Function types
- 09:3009:30, 16 October 2020 diff hist −21 Data type →Function types
- 09:1809:18, 16 October 2020 diff hist +2 Hindley–Milner type system →Introduction
- 09:1209:12, 16 October 2020 diff hist +1 Talk:Hindley–Milner type system →wp:length
- 09:1009:10, 16 October 2020 diff hist −17 Hindley–Milner type system →Introduction
- 09:0009:00, 16 October 2020 diff hist −91 Hindley–Milner type system →Overview
- 08:5708:57, 16 October 2020 diff hist +215 Hindley–Milner type system →Introduction
- 08:4908:49, 16 October 2020 diff hist +1 Hindley–Milner type system →Introduction
- 08:4508:45, 16 October 2020 diff hist −1 Hindley–Milner type system →Introduction
- 08:4508:45, 16 October 2020 diff hist −181 Hindley–Milner type system →Features of the Hindley–Milner method
- 08:4408:44, 16 October 2020 diff hist +1,180 Hindley–Milner type system →Introduction
14 October 2020
- 09:3909:39, 14 October 2020 diff hist +563 User talk:Jflopezfernandez →Looking for an advice how to proceed with an WP:Wikiproject Logic issue: new section Tag: Reverted
- 09:1709:17, 14 October 2020 diff hist +934 Talk:Data type →Type (CS), topic of this article and this article's use in WP
