User contributions for Apm
Jump to navigation
Jump to search
12 July 2021
- 18:1518:15, 12 July 2021 diff hist −1,811 Annotated lambda diagram factored out grapro notes section to Annotated lambda diagram mockups
- 18:1418:14, 12 July 2021 diff hist +1,850 Annotated lambda diagram mockups factored out grapro notes from Annotated lambda diagrams
- 18:1218:12, 12 July 2021 diff hist −13,853 Annotated lambda diagram →Mockup Demos: factored out the whole section to new page Annotated lambda diagram mockups
- 18:1118:11, 12 July 2021 diff hist +14,158 N Annotated lambda diagram mockups factored out the mockups part from the main page Annotated lambda diagrams
- 18:0018:00, 12 July 2021 diff hist +1,998 Annotated lambda diagram →From in scaled down place preview to zooming user interface: added some maybe critical ideas
- 17:0217:02, 12 July 2021 diff hist −32 m File:AnnoLamDiag IdenticonsAndArityCues.svg No edit summary
- 17:0217:02, 12 July 2021 diff hist −32 m File:AnnoLamDiag IdenticonsAndArityCues.jpeg No edit summary current
- 17:0117:01, 12 July 2021 diff hist −32 m File:AnnoLamDiag TypdHolePuzzleFeel.svg No edit summary current
- 17:0117:01, 12 July 2021 diff hist −32 m File:AnnoLamDiag TypdHolePuzzleFeel.png No edit summary current
- 16:5616:56, 12 July 2021 diff hist +1,116 Annotated lambda diagram →"Inverse tabs" for browsing the whole codebase graph rather than only the local code dependency tree: added quite a bit of content
- 16:3016:30, 12 July 2021 diff hist −68 m Annotated lambda diagram →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse: removed stuff
- 16:2516:25, 12 July 2021 diff hist +483 N File:AnnoLamDiag ControlFlowMultiverse.svg Recursive in-place scaled-down code-preview. <br> Allowing for a zooming user interface. ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M. Süs... current
- 16:2516:25, 12 July 2021 diff hist −1 m File:AnnoLamDiag ControlFlowMultiverse.jpeg No edit summary current
- 16:1416:14, 12 July 2021 diff hist +4,017 Annotated lambda diagram →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse: added mockup graphic and loads of notes (too much actually - needs factoring out)
- 12:3012:30, 12 July 2021 diff hist +495 N File:AnnoLamDiag ControlFlowMultiverse.jpeg Recursive in-place scaled-down code-preview. <br> Allowing for a zooming user interface. ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M. Süs...
- 12:2612:26, 12 July 2021 diff hist +1,417 Syngraphic sugar →Further cases of syngraphic sugar in annotated lambda diagrams: === Syntactic sugar in the function header of annotated lambda diagrams ===
- 11:2911:29, 12 July 2021 diff hist +90 Syngraphic sugar →Syngraphic sugar in annotated lambda diagrams: matched image description more closely to context
- 11:2611:26, 12 July 2021 diff hist +2 m Syngraphic sugar →Concrete examples: added arrows to headline
- 11:2311:23, 12 July 2021 diff hist +3 Syngraphic sugar chapter restructuring
- 11:1811:18, 12 July 2021 diff hist 0 m Syngraphic sugar →Syntactic sugar in textual programming
- 11:1711:17, 12 July 2021 diff hist +15 m Syngraphic sugar →Syntactic sugar in textual programming
- 11:1711:17, 12 July 2021 diff hist +991 Syngraphic sugar →Syntactic sugar in textual programming: some corrections
- 10:4810:48, 12 July 2021 diff hist −1 m Syngraphic sugar →Syntactic sugar in textual proggramming
- 10:4710:47, 12 July 2021 diff hist +31 m Syngraphic sugar →Syntactic sugar in textual proggramming
- 10:4610:46, 12 July 2021 diff hist +8 m Syngraphic sugar →Syntactic sugar in textual proggramming
- 10:4510:45, 12 July 2021 diff hist +5 m Syngraphic sugar →Syntactic sugar in textual proggramming
- 10:4510:45, 12 July 2021 diff hist +5,418 N Syngraphic sugar basic page
- 08:4408:44, 12 July 2021 diff hist +4 Annotated lambda diagram added link to yet unwritten page: syngraphic sugar
- 08:4308:43, 12 July 2021 diff hist +4 m Annotated lambda diagram →The basic idea in brief bullet points: added link to yet unwritten page content addressed
11 July 2021
- 13:1413:14, 11 July 2021 diff hist +32 Annotated lambda diagram →External links: put the table of contents at the bottom
- 13:1313:13, 11 July 2021 diff hist +147 Annotated lambda diagram some chapter reorganisation and added some wikitodos
- 13:0813:08, 11 July 2021 diff hist +77 m Annotated lambda diagram →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse
- 13:0513:05, 11 July 2021 diff hist +29 Annotated lambda diagram →External links: added * Software
- 13:0413:04, 11 July 2021 diff hist +184 Software added links to three new pages and one yet unwritten one
- 13:0113:01, 11 July 2021 diff hist +203 m Annotated lambda diagram →The basic idea in brief bullet points: some cleanup
- 12:5012:50, 11 July 2021 diff hist +44 m Annotated lambda diagram →The basic idea in brief bullet points
- 12:4912:49, 11 July 2021 diff hist −2,422 Annotated lambda diagram factored out itroductory stuff to its own pages: * The problem with current day programming and its causes * What lambda calculus is – and wrote new intro
- 12:1912:19, 11 July 2021 diff hist +251 m Philosophical topics →Misc: some minor additions
- 12:1412:14, 11 July 2021 diff hist +104 Philosophical topics improved intro a tiny bit
- 12:0612:06, 11 July 2021 diff hist +82 m Philosophical topics No edit summary
- 12:0512:05, 11 July 2021 diff hist +115 Lambda calculus added The program that constructs and executes all possible programs
- 12:0512:05, 11 July 2021 diff hist +53 N The program that constructs and executes all possible programs Redirected page to A true but useless theory of everything current
- 12:0112:01, 11 July 2021 diff hist +27 The purpose of dreams →Misc: added * Philosophical topics
- 12:0012:00, 11 July 2021 diff hist +1,915 N Lambda calculus basic page – factored out from the page: Annotated lambda diagrams – plus a bit of cleanup
- 11:4411:44, 11 July 2021 diff hist +2,419 N The problem with current day programming and its causes basic page factored out as is from page: Annotated lambda diagram
- 11:3111:31, 11 July 2021 diff hist +203 m Annotated lambda diagram →Lambda calculus – it's basic rules are unbelievably simple and it can compute anything and everything
- 11:2611:26, 11 July 2021 diff hist +5 m Annotated lambda diagram →Lambda calculus – it's basic rules are unbelievably simple and it can compute anything and everything
- 11:2511:25, 11 July 2021 diff hist +1,288 Annotated lambda diagram →Introduction: The problem with current day programming: big improvement and cleanup
- 10:3410:34, 11 July 2021 diff hist +245 Annotated lambda diagram moved the necessarily quite big images into the flow-text such that they stay within their chapters
- 10:2410:24, 11 July 2021 diff hist +120 Annotated lambda diagram →From in scaled down place preview to zooming user interface: added illustration of in place code preview in ALDs