ATS-Postiats-contrib, also referred to as ATS2-contrib, is primarily for packages contributed to ATS-Postiats.
The descriptions for various packages in ATS2-contrib may be found in various articles on the wiki for ATS2. Please consider documenting a package you use and share the documentation with the ats-lang-users community.
Licenses for ATS2-contrib
- Most of the contributed code here is under the BSD license. If unclear, please contact the author(s) directly.