Effective ATS:
Mergesort (top-down)

• main.html
• Makefile
• mergesort.dats
• mergesort_list.dats
• mergesort_array.dats