Update introduction of the type section, and remove parts about built-in types
[matthijs/master-project/dsd-paper.git] / mac-nocurry.svg
mac-nocurry.svg