File:AnnoLamDiag DraggingHolesAround.jpeg
Jump to navigation
Jump to search
Size of this preview: 800 × 448 pixels. Other resolution: 2,916 × 1,632 pixels.
Original file (2,916 × 1,632 pixels, file size: 486 KB, MIME type: image/jpeg)
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
Vectrorgraphic version (editable)
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 17:15, 10 July 2021 | | 2,916 × 1,632 (486 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 3 pages use this file:
