Effective ATS:
Sorting Linear Lists

• main.html
• Makefile
• mylist.dats
• mylist_mergesort.dats
• mylist_quicksort.dats
• mergesort_sllist.dats
• mergesort_list_vt.dats
• quicksort_sllist.dats
• quicksort_list_vt.dats