User contributions for Abo-Junghichi

15 November 2023

• 14:0214:02, 15 November 2023 diff hist −414‎ Revapp ‎ I don't sure whether De Bruijn notation allows redundant brackets. current

14 November 2023

• 18:5618:56, 14 November 2023 diff hist +1‎ Revapp ‎ typo
• 18:4118:41, 14 November 2023 diff hist +877‎ Revapp ‎ mention De Bruijn notation.

27 September 2023

• 13:2513:25, 27 September 2023 diff hist +1‎ Revapp ‎ →‎revapp-interpreter: update minimal size of the interpreter

21 September 2023

• 10:5510:55, 21 September 2023 diff hist +39‎ Revapp ‎ →‎revapp-interpreter: nostdlib: remove last variable placed in rwdata-page, shorten filesize by 860 byte.

30 July 2023

• 19:4519:45, 30 July 2023 diff hist −32‎ Truth-machine ‎ →‎Revapp
• 19:3019:30, 30 July 2023 diff hist +7‎ Revapp ‎ →‎Example

28 July 2023

• 17:3317:33, 28 July 2023 diff hist +28‎ Truth-machine ‎ →‎Revapp
• 16:5716:57, 28 July 2023 diff hist +304‎ Truth-machine ‎ →‎Revapp

6 July 2023

• 16:2816:28, 6 July 2023 diff hist +1,314‎ Bootstrap ‎ →‎Other bootstrapping examples current

29 June 2023

• 15:4115:41, 29 June 2023 diff hist 0‎ Revapp ‎No edit summary

23 June 2023

• 17:4417:44, 23 June 2023 diff hist +20‎ Revapp ‎No edit summary
• 17:1517:15, 23 June 2023 diff hist 0‎ Revapp ‎No edit summary
• 15:1015:10, 23 June 2023 diff hist +319‎ N User:Abo-Junghichi ‎ Created page with "Hello, I'm Junghichi Abo. When I was a student,I was impressed in the essay "The Hundred-Year Language" written by Paul Graham. So, I'm not only interested in current programming languages, but also essences of programing languages which will be in the future. Revapp is the primary programming language I created." current

22 June 2023

• 14:1514:15, 22 June 2023 diff hist +751‎ Revapp ‎No edit summary

21 June 2023

• 22:0522:05, 21 June 2023 diff hist +12‎ Language list ‎ →‎R: add Revapp
• 21:4921:49, 21 June 2023 diff hist +2,605‎ N Revapp ‎ Created page with "'''revapp''' is a programing language created by User:Abo-Junghichi. It is based on Lambda calculus and uses call-by-need as it's evaluation strategy. It's syntax is almost identical with Lambda expression, execpt application syntax is reversed. For example, a expression "E1 E2" means that caller is E2 and argument for the call is E1. This small change makes it's all operator syntaxes have right associativity only - the other syntax "λx.E(x)" already has right..."
• 17:3117:31, 21 June 2023 diff hist +360‎ Esolang:Introduce yourself ‎ →‎Introductions: introduce Abo Junghichi