Effective ATS:
Linear Streams for Memory-Clean Programs

• main.html
• Makefile
• Fibonacci.dats
• Fibonacci_vt.dats
• QueensPuzzle.dats
• QueensPuzzle_vt.dats