User contributions for Apm
Jump to navigation
Jump to search
19 October 2021
- 12:4212:42, 19 October 2021 diff hist −10 m Annotated lambda diagram →Desirable combination with higher level novel GUI concepts: fixed references
- 12:4112:41, 19 October 2021 diff hist +31 Annotated lambda diagram →External links: added references section
- 12:4012:40, 19 October 2021 diff hist +229 Annotated lambda diagram →Desirable combination with higher level novel GUI concepts: made links into references
- 11:3411:34, 19 October 2021 diff hist 0 m Constructive solid geometry →Code: DSL libraries for CSG, CSG software, ...: oops one more swap
- 11:3311:33, 19 October 2021 diff hist 0 m Constructive solid geometry →Code: DSL libraries for CSG, CSG software, ...: had F-Rep an B-rep swapped - fixed now
- 10:5410:54, 19 October 2021 diff hist +4 m Syngraphic sugar →Notes
- 10:4910:49, 19 October 2021 diff hist +2 m Syngraphic sugar →Example: (n > 0) ⇒ (> n 0) ⇒ n (>0)
- 10:4710:47, 19 October 2021 diff hist +2 m Syngraphic sugar No edit summary
- 10:4710:47, 19 October 2021 diff hist 0 m Syngraphic sugar spelling typo
- 10:4610:46, 19 October 2021 diff hist +4 m Annotated lambda diagram added link to yet unwritten page bicycle for the mind
- 10:4310:43, 19 October 2021 diff hist −1,866 Annotated lambda diagram mockups →The several types of zooming: moved stuff over to page Annotated lambda diagram
- 10:3410:34, 19 October 2021 diff hist −32 Annotated lambda diagram Moved __TOC__ to the top again
- 10:3210:32, 19 October 2021 diff hist +1,958 Annotated lambda diagram moved == The several types of zooming == over from the mockups page
- 10:1910:19, 19 October 2021 diff hist +1,966 Annotated lambda diagram mockups →Zooming user interface (ZUI): added section == The several types of zooming ==
- 09:3909:39, 19 October 2021 diff hist +8 m Annotated lambda diagram mockups →Tangible values (TVs)
- 09:3809:38, 19 October 2021 diff hist +5 m Annotated lambda diagram mockups →Tangible values (TVs)
- 09:3809:38, 19 October 2021 diff hist +491 Annotated lambda diagram mockups →Tangible values (TVs): added elaborations on ALD+GUI visualizatuons
- 09:2209:22, 19 October 2021 diff hist +38 m Annotated lambda diagram mockups →Tangible values (TVs): added note on TV "fusion"
- 09:2109:21, 19 October 2021 diff hist +1 m Annotated lambda diagram mockups →Tangible values (TVs): deadversaliarized formulation
- 09:2009:20, 19 October 2021 diff hist +1 m Annotated lambda diagram mockups →Tangible values (TVs): for -> from
- 09:1809:18, 19 October 2021 diff hist +4 m Annotated lambda diagram mockups →Tangible values (TVs): added link to Annotated lambda diagrams
- 09:1809:18, 19 October 2021 diff hist 0 m Annotated lambda diagram mockups →Compiling to categories: word order fix
- 09:1709:17, 19 October 2021 diff hist +32 m Annotated lambda diagram mockups →Compiling to categories: some reformulations
- 09:1509:15, 19 October 2021 diff hist +756 Annotated lambda diagram mockups →Compiling to categories: added two wiki relevant example contexts
- 08:5908:59, 19 October 2021 diff hist +709 Annotated lambda diagram mockups →Beautiful differentiation: added relevant context
- 01:4401:44, 19 October 2021 diff hist +80 m Lambda calculus →External links
- 01:4201:42, 19 October 2021 diff hist +4 m Lambda calculus added link to Lambda diagram
- 01:3801:38, 19 October 2021 diff hist −1 m Annotated lambda diagram mockups →{{wikitodo|Make mockups still that are not yet made}}
- 01:3801:38, 19 October 2021 diff hist +6 m Annotated lambda diagram mockups →{{wikitodo|Make mockups still that are not yet made}}
- 01:3101:31, 19 October 2021 diff hist +226 m Annotated lambda diagram →Desirable combination with higher level novel GUI concepts: added some links
- 01:1501:15, 19 October 2021 diff hist +251 m Annotated lambda diagram →Totally tearing down the GUI vs command-line rift!
- 01:0401:04, 19 October 2021 diff hist +3 m Annotated lambda diagram →Desirable combination with higher level novel GUI concepts
- 01:0001:00, 19 October 2021 diff hist −5 m Annotated lambda diagram →Add live-coding to ALDs
- 00:5800:58, 19 October 2021 diff hist +1 m Annotated lambda diagram →Less visual discontinuities
- 00:5600:56, 19 October 2021 diff hist +75 Annotated lambda diagram →ALDs – at the smack dead center between visual and textual: slight cleanup
- 00:5400:54, 19 October 2021 diff hist −164 m Annotated lambda diagram →ALDs – at the smack dead center between visual and textual: removed duplicated stuff in meaning
- 00:4500:45, 19 October 2021 diff hist 0 m Annotated lambda diagram No edit summary
- 00:4400:44, 19 October 2021 diff hist +14 m Annotated lambda diagram →Desirable combination with higher level novel GUI concepts
- 00:4000:40, 19 October 2021 diff hist +107 m Annotated lambda diagram →Add live-coding to ALDs
- 00:3400:34, 19 October 2021 diff hist −17 m Annotated lambda diagram →ALDs – at the smack dead center between visual and textual
- 00:3100:31, 19 October 2021 diff hist +26 m Annotated lambda diagram →ALDs – at the smack dead center between visual and textual
- 00:2900:29, 19 October 2021 diff hist −1 m Annotated lambda diagram →The lines
- 00:2600:26, 19 October 2021 diff hist 0 m Annotated lambda diagram No edit summary
- 00:2100:21, 19 October 2021 diff hist +676 Annotated lambda diagram →ALDs are for denotative systems: added graphic
- 00:1900:19, 19 October 2021 diff hist +2,983 Annotated lambda diagram added a lot
- 00:0600:06, 19 October 2021 diff hist +3,518 Annotated lambda diagram →ALDs are not a "node editor": added a lot new stuff
18 October 2021
- 23:0323:03, 18 October 2021 diff hist +668 Annotated lambda diagram added section = ALDs are not a "node editor" =
- 22:4422:44, 18 October 2021 diff hist −14 Annotated lambda diagram →The basic idea in brief bullet points: some changes
- 22:3722:37, 18 October 2021 diff hist −464 Annotated lambda diagram improved intro
- 22:2122:21, 18 October 2021 diff hist +213 Lambda diagram improvements