users guide: Note improved constant folding in 8.6 release notes
[ghc.git] / docs / core-spec /
drwxr-xr-x   ..
-rw-r--r-- 58 .gitignore
-rw-r--r-- 18472 CoreLint.ott
-rw-r--r-- 28805 CoreSyn.ott
-rw-r--r-- 484 Makefile
-rw-r--r-- 3445 OpSem.ott
-rw-r--r-- 4049 README
-rw-r--r-- 22218 core-spec.mng
-rw-r--r-- 354307 core-spec.pdf