gitdir: ../.git/modules/Type-Sphere
