User contributions for Zhil
Jump to navigation
Jump to search
3 June 2025
- 12:1412:14, 3 June 2025 diff hist +243 Mlatu-6 No edit summary current
2 June 2025
- 13:2013:20, 2 June 2025 diff hist +423 Mlatu-6 No edit summary
30 May 2025
- 18:3218:32, 30 May 2025 diff hist +48 m Mlatu-6 No edit summary
- 18:3118:31, 30 May 2025 diff hist +1,706 Mlatu-6 Initial Lean proofs
26 May 2025
- 16:1516:15, 26 May 2025 diff hist +42 Underload No edit summary current
- 16:1316:13, 26 May 2025 diff hist +24 Underload Added mlatu
- 16:0016:00, 26 May 2025 diff hist −4 Mlatu-6 Shorter swap
- 13:3313:33, 26 May 2025 diff hist +125 m Mlatu-6 No edit summary
- 13:3213:32, 26 May 2025 diff hist +76 Mlatu-6 Added connection to Underload
- 13:1713:17, 26 May 2025 diff hist +1,048 Mlatu-6 Continuation-composing Universal Base
- 13:0413:04, 26 May 2025 diff hist +129 Mlatu-6 No edit summary
- 13:0213:02, 26 May 2025 diff hist +412 Mlatu-6 SPUB
- 12:5512:55, 26 May 2025 diff hist +643 Mlatu-6 DBGE
22 May 2025
- 04:2904:29, 22 May 2025 diff hist −2 Mlatu-6 Shortened the mlatu-5 swap
16 May 2025
- 16:5916:59, 16 May 2025 diff hist +1 m Mlatu-6 No edit summary
- 15:5315:53, 16 May 2025 diff hist +4 Mlatu-6 Reduced the size of the one-combinator bases
14 May 2025
- 04:0404:04, 14 May 2025 diff hist +26 m Mlatu-6 No edit summary
10 May 2025
- 15:4815:48, 10 May 2025 diff hist +26 m Mlatu-6 No edit summary
7 May 2025
- 18:2618:26, 7 May 2025 diff hist −48 m Mlatu-6 No edit summary
- 18:2518:25, 7 May 2025 diff hist −7 m Mlatu-6 No edit summary
- 18:2418:24, 7 May 2025 diff hist −231 Mlatu-6 Cleaned up language around weak reduction
- 18:1618:16, 7 May 2025 diff hist −5 m Mlatu-6 No edit summary
- 14:3314:33, 7 May 2025 diff hist +1 m Mlatu-6 No edit summary
- 13:4713:47, 7 May 2025 diff hist +585 Mlatu-6 No edit summary
5 May 2025
- 23:1323:13, 5 May 2025 diff hist 0 m Mlatu-6 No edit summary
4 May 2025
- 16:2316:23, 4 May 2025 diff hist −504 Mlatu-6 No edit summary
- 16:2116:21, 4 May 2025 diff hist +753 Mlatu-6 Size busy beavers
- 13:1813:18, 4 May 2025 diff hist −128 m Mlatu-6 No edit summary
- 00:1900:19, 4 May 2025 diff hist +12 m Mlatu-6 No edit summary
3 May 2025
- 17:2017:20, 3 May 2025 diff hist 0 m Mlatu-6 No edit summary
- 17:1917:19, 3 May 2025 diff hist +1,160 Mlatu-6 Added Busy Beavers
- 06:1806:18, 3 May 2025 diff hist −421 Mlatu-6 1-combinator base using z
- 05:1205:12, 3 May 2025 diff hist +1,530 Mlatu-6 1-combinator proof
- 04:1104:11, 3 May 2025 diff hist −181 Mlatu-6 No edit summary
- 04:1004:10, 3 May 2025 diff hist +394 Mlatu-6 No edit summary
- 03:1803:18, 3 May 2025 diff hist +1 m Mlatu-6 No edit summary
2 May 2025
- 19:5219:52, 2 May 2025 diff hist +237 Mlatu-6 No edit summary
- 18:5918:59, 2 May 2025 diff hist 0 m Mlatu-6 No edit summary
- 18:5818:58, 2 May 2025 diff hist −17 m Mlatu-6 No edit summary
- 18:5318:53, 2 May 2025 diff hist +1 m Mlatu-6 No edit summary
- 18:3418:34, 2 May 2025 diff hist +425 Mlatu-6 Normal order reduction
- 18:1918:19, 2 May 2025 diff hist −352 Mlatu-6 Added 2-combinator base of length 6
- 17:3717:37, 2 May 2025 diff hist +288 Talk:Mlatu-6 No edit summary
30 April 2025
- 20:0020:00, 30 April 2025 diff hist +8 Mlatu-6 No edit summary
- 19:5819:58, 30 April 2025 diff hist −459 Mlatu-6 Fixed sap being incorrect
28 April 2025
- 21:0121:01, 28 April 2025 diff hist 0 m Mlatu-6 No edit summary
- 20:5920:59, 28 April 2025 diff hist +251 Mlatu-6 Major rewrite of semantics
- 15:1315:13, 28 April 2025 diff hist +240 Mlatu-6 Added names to the 3-combinator base combinators
27 April 2025
- 22:0022:00, 27 April 2025 diff hist +120 Mlatu-6 The 3-combinator base seems unique
- 21:2921:29, 27 April 2025 diff hist +44 m Mlatu-6 Improved readability