Forked from
Glasgow Haskell Compiler / GHC
5830 commits behind the upstream repository.
Name | Last commit | Last update |
---|---|---|
.. | ||
config | ||
driver | ||
ghc-config | ||
mk | ||
tests | ||
timeout | ||
.gitignore | ||
LICENSE | ||
LICENSE.GPL | ||
Makefile | ||
README.md |
"where" should be after the injectivity annotation.
Name | Last commit | Last update |
---|---|---|
.. | ||
config | ||
driver | ||
ghc-config | ||
mk | ||
tests | ||
timeout | ||
.gitignore | ||
LICENSE | ||
LICENSE.GPL | ||
Makefile | ||
README.md |