About the Documentation category

This category is for collecting documentations for ATS and libraries. Everyone can contribute, and documentations need to be properly tagged for easier search.