File:AnnoLamDiag DraggingHolesAround.svg
From apm
Revision as of 16:18, 10 July 2021 by Apm (Talk | contribs) (Draggable "bridge-holes". <br> The inverse of dragging program fragments: <br> Drag and drop of typed holes within programs. ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diag...)
Size of this preview: 800 × 466 pixels. Other resolution: 320 × 186 pixels.
Original file (SVG file, nominally 1,017 × 592 pixels, file size: 428 KB)
Draggable "bridge-holes".
The inverse of dragging program fragments:
Drag and drop of typed holes within programs.
Annotated lambda diagrams (ALDs)
where inspired by John Tromps lambda diagrams:
https://tromp.github.io/cl/diagrams.html
Author: Lukas M. Süss aka Mechadense
License: CC-BY
Also posted here:
https://twitter.com/mechadense/status/1242931517736783873?s=20
Rastergraphic version version
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 16:18, 10 July 2021 | | 1,017 × 592 (428 KB) | Apm (Talk | contribs) | Draggable "bridge-holes". <br> The inverse of dragging program fragments: <br> Drag and drop of typed holes within programs. ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diag... |
- You cannot overwrite this file.
File usage
The following page links to this file:
