/

• .editorconfig
• .gitignore
• LICENSE
• Makefile
• README.md
• TODO
• alternative-html-blocks.txt
• data
• js
• leakcheck.md
• man
• mkcasefold.pl
• narrative.md
• runtests.pl
• spec.txt
• spec2js.js
• spec2md.pl
• specfilter.hs
• src
• template.html
• template.tex