User contributions for Yetyetty1234567890

A user with 153 edits. Account created on 22 June 2023.
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

28 March 2025

  • 15:3815:38, 28 March 2025 diff hist +313 N Reduced Lambda CalculusCreated page with "--- REDUCED LAMBDA CALCULUS --- 0 1 ( λ0. ( _ _ ) ) _ ( λ1. ( _ _ ) ) _ 0 1 ( λ0. _ ) _ ( λ1. _ ) _ # just let it operate on both v ( _ ) _ # you only need 1 variable bc of deterministic { ( _ ) _ == ( λv. _ ) _ } thats it if you think really hard then you can prove it goes back to lambda calculus" current

16 May 2024

9 March 2024

3 February 2024

2 February 2024

31 January 2024

30 January 2024

13 November 2023

18 August 2023

9 August 2023

8 August 2023

29 July 2023

19 July 2023

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)