wip: tutorial on using diagram#533

oxinabox wants to merge 1 commit intogoogle-research:maingoogle-research/dex-lang:mainfrom

oxinabox:ox/diagramtuitoxinabox/dex-lang:ox/diagramtuitCopy head branch name to clipboard