Admin message

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

2 forks: 2 public, 0 internal, and 0 private
  • View dependent project

    Alina Banerjee / dependent

    Actual dependent Haskell
    0
    Updated Jun 09, 2021
    0 0 0 0
    Updated Jun 09, 2021
  • View dependent project

    Ryan Scott / dependent

    Initial commit; fin already agda'd
    0
    Updated Dec 19, 2020
    0 0 0 0
    Updated Dec 19, 2020