[ci skip] includes: detabify/dewhitespace RtsAPI.h
[ghc.git] / docs / backpack /
drwxr-xr-x   ..
-rw-r--r-- 87 .gitignore
-rw-r--r-- 184 Makefile
-rw-r--r-- 107562 arch.png
-rw-r--r-- 780 backpack-impl.bib
-rw-r--r-- 109283 backpack-impl.tex
-rw-r--r-- 32300 commands-new-new.tex
-rw-r--r-- 1714 commands-rebindings.tex
-rw-r--r-- 145951 diagrams.pdf
-rw-r--r-- 118800 diagrams.xoj
-rw-r--r-- 61693 pkgdb.png