drever/act-munich

Resource for the applied category theory Munich reading group