Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
[ghc.git] / docs / core-spec /
drwxr-xr-x   ..
-rw-r--r-- 52 .gitignore
-rw-r--r-- 10366 CoreLint.ott
-rw-r--r-- 15381 CoreSyn.ott
-rw-r--r-- 427 Makefile
-rw-r--r-- 4047 README
-rw-r--r-- 8860 core-spec.mng
-rw-r--r-- 303537 core-spec.pdf