Effective ATS:
Functional Programming with Combinators

• main.html
• Makefile
• permute.dats
• depth-first.dats
• depth-first-2.dats
• breadth-first.dats
• queen-puzzle-dfs-2.dats