Effective ATS:
List-folding Combinators

• main.html
• Makefile
• list_fold_left.dats
• list_fold_right.dats
• list_fold_split.dats