Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template

Implement "Quantified constraints" proposal

See: Quantifiedconstraintswikipage

Edited Mar 10, 2019 by Simon Peyton Jones

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information