https://apm.bplaced.net/w/index.php?action=history&feed=atom&title=File%3AAnnoLamDiag_ScaledDownInPlacePreview.png 2026-04-20T18:42:56Z Revision history for this page on the wiki MediaWiki 1.43.0 https://apm.bplaced.net/w/index.php?title=File:AnnoLamDiag_ScaledDownInPlacePreview.png&diff=11453&oldid=prev 2021-07-11T08:11:35Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:11, 11 July 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18">Line 18:</td> <td colspan="2" class="diff-lineno">Line 18:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>----</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>----</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Also posted here: &lt;br&gt;</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Also posted here <ins style="font-weight: bold; text-decoration: none;">(scroll down to the fifth post)</ins>: &lt;br&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>https://twitter.com/mechadense/status/1235631036597276672</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>https://twitter.com/mechadense/status/1235631036597276672</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> </table>

Apm https://apm.bplaced.net/w/index.php?title=File:AnnoLamDiag_ScaledDownInPlacePreview.png&diff=11450&oldid=prev 2021-07-11T08:09:41Z

<p>Demo of in-place scaled-down code-preview. &lt;br&gt; A detailed description is further down. &lt;br&gt; ---- Annotated lambda diagrams (ALDs) &lt;br&gt; where inspired by John Tromps lambda diagrams: &lt;br&gt; https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M....</p> <p><b>New page</b></p><div>Demo of in-place scaled-down code-preview. &lt;br&gt;<br /> A detailed description is further down. &lt;br&gt;<br /> ----<br /> Annotated lambda diagrams (ALDs) &lt;br&gt; <br /> where inspired by John Tromps lambda diagrams: &lt;br&gt;<br /> https://tromp.github.io/cl/diagrams.html<br /> ----<br /> Author: Lukas M. Süss aka Mechadense &lt;br&gt;<br /> License: CC-BY &lt;br&gt;<br /> ----<br /> <br /> &#039;&#039;&#039;Detailed description:&#039;&#039;&#039;&lt;br&gt;<br /> This is some simple code in (a mockup of) the [[code projection]] of [[annotated lambda diagrams]]. &lt;br&gt;<br /> It was put together in order to illustrate how [[annotated lambda diagram]]s would allow for a scaled-down in-place preview of functions on which the currently looked at function depends on. &lt;br&gt;<br /> Do you see the scaled down &quot;in place preview&quot; of the &quot;take&quot;-function (blue border) and &quot;repeat&quot;-function (red border) within the the &quot;replicate&quot;-function (grey border)? &lt;br&gt;<br /> Specifically this random example code (the &quot;replicate&quot;-function) takes a value and a natural number and returns a list of copies of that value with the length of that natural number.<br /> <br /> ----<br /> <br /> Also posted here: &lt;br&gt;<br /> https://twitter.com/mechadense/status/1235631036597276672<br /> <br /> = Vectrorgraphic version (editable) =<br /> <br /> [[File:AnnoLamDiag_ScaledDownInPlacePreview.svg|640px|thumb|left|Link]]</div>

Apm