Prepare documentation site for public launch#7

yhk1038 merged 5 commits intomaintype-ruby/type-ruby.github.io:mainfrom

docs/prepare-for-launchtype-ruby/type-ruby.github.io:docs/prepare-for-launchCopy head branch name to clipboard