Take away XXXs in GADT records related code that are no longer TODOs.
[ghc-hetmet.git] / docs / docbook-cheat-sheet /
drwxr-xr-x   ..
-rw-r--r-- 143 Makefile
-rw-r--r-- 7902 docbook-cheat-sheet.xml