Effective ATS:
An Array-Based Stack Implementation

• main.html
• Makefile
• stkarray.dats
• postfix_eval.dats