Revert "Support for multiple signature files in scope."
[ghc.git] / docs / core-spec /
drwxr-xr-x   ..
-rw-r--r-- 52 .gitignore
-rw-r--r-- 14851 CoreLint.ott
-rw-r--r-- 22562 CoreSyn.ott
-rw-r--r-- 478 Makefile
-rw-r--r-- 4125 OpSem.ott
-rw-r--r-- 4049 README
-rw-r--r-- 17639 core-spec.mng
-rw-r--r-- 342464 core-spec.pdf