Heirarchical Computing Language This is notes (and eventually a paper) for a heirarchical computing language based on multimodal type theory and choreographic programming.