_darcs dist experiments examples/session examples/mnist.txt examples/candidates material doc.sh *.o *.hi *.chi *.chs.h push.sh index.html install.html reinstall.sh