[*** empty log message *** ralf**20040730205230] { hunk ./Makefile 6 - hunk ./Makefile 8 -all: - @echo "No default target for make." +all: index.html HList.zip + +index.html: pre.html README post.html + cat pre.html README post.html > index.html hunk ./Makefile 13 +HList.zip: + mkdir -p HList + cp --preserve *.hs README HList + zip -r HList.zip HList + rm -rf HList hunk ./Makefile 92 - + rm -f index.html HList.zip addfile ./post.html hunk ./post.html 1 + +

+ +Download: [.zip] + +

+ + + + + + + + + + addfile ./pre.html hunk ./pre.html 1 + +Code from HList paper + + +

Strongly typed heterogeneous collections

+
}