Place tombstone for repo

.gitignore

README.md

artefakt_rebuttal.org

cabal.project.freeze

dfa/bench.py

dfa/benchmark.org

dfa/results1.png

dfa/results1000.png

dfa/results10000.png

dfa/results2.png

dfa/results2f.png

optimizations/optimizations.org

prism/bench.py

prism/benchmark.org

prism/valmari-extract-sort1.hs

valmari_fig4/bench.py

valmari_fig4/benchmark.org

valmari_fig4/generate.py

wta/README.md

wta/bench.py