100644 blob 0f70697a6210511edba3f4429fc33a8c45f58b08	name-resolution.md
100644 blob 36b2e1026c2655783421ec2da5d0e0520da2bbed	namespaces.md
100644 blob f557699e7951b73a8691bc98f327a1ce70a9182d	preludes.md
100644 blob 58ee99b55a568ea6adf336e9f064193db429f286	scopes.md