Fix "core projects" listing on homepage#444

valencik merged 1 commit intodevelopmenttypelevel/typelevel.github.com:developmentfrom

fix-homepage-projectstypelevel/typelevel.github.com:fix-homepage-projectsCopy head branch name to clipboard