Main public logs

Combined display of all available logs of apm. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 13:38, 10 July 2021 Apm talk contribs uploaded File:AnnoLamDiag TypdHolePuzzleFeel.png (Drag and drop of program fragments (with typed input and output holes) ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M. Süss aka Mechadense <...)