Annotated lambda diagram mockups: Revision history

30 September 2025

• curprev 16:3116:31, 30 September 2025 Apm talk contribs 21,696 bytes +50 →Related: added link to page Annotated lambda diagrams visual rules

27 December 2024

• curprev 20:3020:30, 27 December 2024 Apm talk contribs 21,646 bytes +12 added links to not yet written page control flow multiverse

5 May 2024

• curprev 10:4410:44, 5 May 2024 Apm talk contribs m 21,634 bytes +22 No edit summary

30 December 2022

• curprev 02:4802:48, 30 December 2022 Apm talk contribs 21,612 bytes +35 →Dragging "bridge-holes" or "gap-holes" through still ambiguous sections of the code: added See related page: Typed holes
• curprev 02:3902:39, 30 December 2022 Apm talk contribs 21,577 bytes +18 →Related: added * Typed holes

25 October 2022

• curprev 09:5509:55, 25 October 2022 Apm talk contribs 21,559 bytes +56 →Related: added link to yet unwritten page * User interfaces for gem-gum on-chip nanofactories

15 February 2022

• curprev 22:0522:05, 15 February 2022 Apm talk contribs 21,503 bytes +58 →Tangible values (TVs): added link to: Tangible values (Conal Elliott)

21 November 2021

• curprev 22:0822:08, 21 November 2021 Apm talk contribs m 21,445 bytes +4 →Beautiful differentiation: triangulation

21 October 2021

• curprev 12:4012:40, 21 October 2021 Apm talk contribs 21,441 bytes +47 →Compiling to categories: added yet unwritten link to page about Curry-Howard-Lambeck isomorphism
• curprev 12:3512:35, 21 October 2021 Apm talk contribs m 21,394 bytes +84 →Compiling to categories: added wikitodo
• curprev 12:3112:31, 21 October 2021 Apm talk contribs m 21,310 bytes 0 →"Inverse tabs" for browsing the whole codebase graph rather than only the local code dependency tree: typo fix
• curprev 12:3012:30, 21 October 2021 Apm talk contribs 21,310 bytes +119 →Tangible values (TVs): added a wikitodo
• curprev 12:2712:27, 21 October 2021 Apm talk contribs 21,191 bytes +382 →{{wikitodo|Make mockups still that are not yet made}}: added note on some challenges with lookup code
• curprev 12:2112:21, 21 October 2021 Apm talk contribs m 20,809 bytes +4 →Mockups regarding maybe not so practical stuff: linebreak
• curprev 12:2012:20, 21 October 2021 Apm talk contribs m 20,805 bytes +10 →Moving program fragments through programs and linking them up via typed hole connection ports: added linebreaks

19 October 2021

• curprev 16:4916:49, 19 October 2021 Apm talk contribs m 20,795 bytes +61 →{{wikitodo|Make mockups still that are not yet made}}
• curprev 10:4310:43, 19 October 2021 Apm talk contribs 20,734 bytes −1,866 →The several types of zooming: moved stuff over to page Annotated lambda diagram
• curprev 10:1910:19, 19 October 2021 Apm talk contribs 22,600 bytes +1,966 →Zooming user interface (ZUI): added section == The several types of zooming ==
• curprev 09:3909:39, 19 October 2021 Apm talk contribs m 20,634 bytes +8 →Tangible values (TVs)
• curprev 09:3809:38, 19 October 2021 Apm talk contribs m 20,626 bytes +5 →Tangible values (TVs)
• curprev 09:3809:38, 19 October 2021 Apm talk contribs 20,621 bytes +491 →Tangible values (TVs): added elaborations on ALD+GUI visualizatuons
• curprev 09:2209:22, 19 October 2021 Apm talk contribs m 20,130 bytes +38 →Tangible values (TVs): added note on TV "fusion"
• curprev 09:2109:21, 19 October 2021 Apm talk contribs m 20,092 bytes +1 →Tangible values (TVs): deadversaliarized formulation
• curprev 09:2009:20, 19 October 2021 Apm talk contribs m 20,091 bytes +1 →Tangible values (TVs): for -> from
• curprev 09:1809:18, 19 October 2021 Apm talk contribs m 20,090 bytes +4 →Tangible values (TVs): added link to Annotated lambda diagrams
• curprev 09:1809:18, 19 October 2021 Apm talk contribs m 20,086 bytes 0 →Compiling to categories: word order fix
• curprev 09:1709:17, 19 October 2021 Apm talk contribs m 20,086 bytes +32 →Compiling to categories: some reformulations
• curprev 09:1509:15, 19 October 2021 Apm talk contribs 20,054 bytes +756 →Compiling to categories: added two wiki relevant example contexts
• curprev 08:5908:59, 19 October 2021 Apm talk contribs 19,298 bytes +709 →Beautiful differentiation: added relevant context
• curprev 01:3801:38, 19 October 2021 Apm talk contribs m 18,589 bytes −1 →{{wikitodo|Make mockups still that are not yet made}}
• curprev 01:3801:38, 19 October 2021 Apm talk contribs m 18,590 bytes +6 →{{wikitodo|Make mockups still that are not yet made}}

14 October 2021

• curprev 13:3013:30, 14 October 2021 Apm talk contribs 18,584 bytes +1,646 →Overloading the meaning of the lines – (applicative funtors, monads, ...): added mock-up featuring the maybe monad

26 September 2021

• curprev 10:4010:40, 26 September 2021 Apm talk contribs m 16,938 bytes +26 added Category:Programming

23 September 2021

• curprev 00:5500:55, 23 September 2021 Apm talk contribs m 16,912 bytes +35 →Mockups still TODO
• curprev 00:4700:47, 23 September 2021 Apm talk contribs m 16,877 bytes +5 →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse
• curprev 00:4500:45, 23 September 2021 Apm talk contribs m 16,872 bytes +6 →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse
• curprev 00:4400:44, 23 September 2021 Apm talk contribs m 16,866 bytes 0 →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse: spelling
• curprev 00:4100:41, 23 September 2021 Apm talk contribs 16,866 bytes +94 →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse: added note on "The Little Typer"
• curprev 00:3800:38, 23 September 2021 Apm talk contribs 16,772 bytes +173 →Annotated lambda diagrams with zooming user interface as a window into the entire control flow multiverse: constructive corecursion and deconstructive recursion
• curprev 00:3100:31, 23 September 2021 Apm talk contribs m 16,599 bytes 0 →From scaled down in place preview to zooming user interface
• curprev 00:3000:30, 23 September 2021 Apm talk contribs m 16,599 bytes 0 →From in scaled down place preview to zooming user interface

15 July 2021

• curprev 12:4012:40, 15 July 2021 Apm talk contribs m 16,599 bytes +12 bold

13 July 2021

• curprev 01:5301:53, 13 July 2021 Apm talk contribs 16,587 bytes +27 →Related: added link to yet unwritten page * Projectional editors
• curprev 01:5201:52, 13 July 2021 Apm talk contribs m 16,560 bytes +8 →Mockups regarding maybe not so practical stuff
• curprev 01:5101:51, 13 July 2021 Apm talk contribs 16,552 bytes +435 →Mockups still TODO: added note to look into Jonathan Edwards work

12 July 2021

• curprev 20:0320:03, 12 July 2021 Apm talk contribs 16,117 bytes +109 added related section
• curprev 18:1418:14, 12 July 2021 Apm talk contribs 16,008 bytes +1,850 factored out grapro notes from Annotated lambda diagrams
• curprev 18:1118:11, 12 July 2021 Apm talk contribs 14,158 bytes +14,158 factored out the mockups part from the main page Annotated lambda diagrams